fixed duplicate LHS bug in points-to query. removed some irritating printing. added new torture test for path merging