def interpreter(self): return BackwardInterpreter(self.cfg, DefaultBackwardSemantics(), 3)
def interpreter(self): forward = ForwardInterpreter(self.cfg, DefaultForwardSemantics(), 3) return BackwardInterpreter(self.cfg, DefaultBackwardSemantics(), 2, forward)