# Golden test output of StringifyPathsExprs/LambdaAbstraction

==== VARIATION: PathLambda parent ====
-- INPUT:
PathLambda [] LambdaAbstraction [x] BinaryOp [Add]
|   Const [1]
Variable [x]

-- OUTPUT:
Lambda LambdaAbstraction [x] (Add (Var [x]) (Const [1]))

==== VARIATION: LambdaApplication parent ====
-- INPUT:
LambdaApplication []
|   Variable [p0]
LambdaAbstraction [x] BinaryOp [Add]
|   Const [1]
Variable [x]

-- OUTPUT:
LambdaApplication (LambdaAbstraction [x] (Add (Var [x]) (Const [1]))) (Var [p0])
