Generally the ff_equal_expr, which takes care of sentential identities if the form:
var = expression;
uncompressed the expression. However, for some cases, not sure if this is a new version 14.x issue a string of format:
" " compressed expression " "
qualifies as compressed!
ffCompressedQ2 requires modification to handle this case as not-compressed and return the original expression.
For now we commented this line:
(*expr=ffCompressedQ2@CCNffGetSortedVar[ expr, cred];*)