SV-COMP-loop