clast.c: insert_modulo_guard_constraint: properly handle existentials