Need not generate svf file according to the constraints, exit