Lamdba don't substitute bound variable by not variable term