lambdas do not create newvars if variable isVar
lambdas do not create newvars if variable isVar

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround