Matching cases in SpecConstr and Rules