added merging of symbolic vars with the same LHS in applyRule() and fixed missing path bug in visitCallInLoopHead()