rename MatchedRuleStruct to RuleMatchInfo
add path info in Cand; UNCOMPLILABLE
mv rule matching fuction to translator class
implement cube pruning