Fix a bug introduced in !751.
A few uses of the EIGEN_IMPLIES macro had side-effects that were conditionally short-circuited in the old but not the new implementation.
Edited by Rasmus Munk Larsen
A few uses of the EIGEN_IMPLIES macro had side-effects that were conditionally short-circuited in the old but not the new implementation.