Yet another bugfix in monitoranalysis: apparently it is possible for programs to
have a control flow path where a exitmonitor appears with no matching
entermonitor...
Fixed bug null deref introduced in eb7ee9eeb110fa25b969a26e427a9ec0233f0243.
Added conservative points-to analysis (--conservative-points-to) which should be
used when classes are loaded dynamically and therefore the points-to graph may
be incomplete.