added support for associative-commutative concatenation for ground maps in the right-hand side of rules