SMT and SV Comp ref