A compiler for rewrite programs in associative-commutative theories