def __init__(self, varalloc, handleLambdas=True): P1Explicate.__init__(self, varalloc) self.handleLambdas = handleLambdas