fix --pattern-matching bug
fix bug in UnifySet, ComputeCellsOfInterest, + add java trace