fixed some overly eager constraint dropping in path query and changed default call stack depth for regressions. now passing MapRefute immutability test
fixed soundness bugs related to loop summaries and loop merging. added optimization (implication check) to loop merging. passing all tests