deriviation tree for reduction of lambda-union