Some archeology: In Dec 2010, SPJ removed a use of eqExprX from the CSE
module, which made use of that parameter (aae915d6).
Thinking about it, it is probably safe to clean up the code. And if not,
I?m not going to be offended by a "git revert", but just doing the
change instead of waiting for permission seems to be more efficient to