svf: add nil option that just runs through the svf file