sl/check-property.sh.in: insert the -xc gcc flag

... needed for the "Stateful" benchmark of SV-COMP'14
sl/symcall: do not check isomorphism of raw call results