clast generation: don't feed malformed constraints to modulo guard construction