adding fix to getPointerKeys() in AtomicPathConstraint -- was not reporting all pointer keys associated with constraint.
added new type of entrypoint that shares the same receiver for each entrypoint method rather than creating a new instance for each method call used as an entrypoint
fixing bug in getLoopBodyBlks() that was causing us to miss some blocks in loop body. also added test for this,