Call( Function(["x"], Call( Function(["x"], Var("x")), [ ("x", False) ] ) ), [ ("x", True) ] )