add srem() to test svcomp testbench gcd_1_true.i