let one_instruction_per_statement f = let thisVisitor = new callBBVisitor in visitCilFileSameGlobals thisVisitor f