Improve isImpliedCond comment a bit.