Issue 7: PointerToNull Heuristic covers a == null but not a != null
Project Member Reported by Yeldarb....@gmail.com, Jun 24, 2013
Add Heuristic for reference != null