excluded rules with AC-matching in side-conditions from fast rewriting; added TODO comment
added regression test