fixed error in builtin.theory (GC system for commutative monoids)
fixed error in builtin.theory (GC system for commutative monoids)

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition