Now, simplify can work with permutation rules

 - We check whether a rule is permutation rule by matching the RHS with
	 LHS, if matched, it is a permutatation rule.
 - We only apply a permutation rule if RHS > LHS (in string)