- if (are_ex_trivially_equal(eintvar,x) && are_ex_trivially_equal(ea,a)
- && are_ex_trivially_equal(eb,b) && are_ex_trivially_equal(ef,f))
+ if (are_ex_trivially_equal(eintvar,x) && are_ex_trivially_equal(ea,a) &&
+ are_ex_trivially_equal(eb,b) && are_ex_trivially_equal(ef,f))