fix LambdaTerm in Validation visitor