source/clast.c: insert_modulo_guard_constraint: remove unused variable