First order expression like a = 1, not be added as lambda factors
First order expression like a = 1, not be added as lambda factors