[cvs-nhc98] patch applied (yhc): Rename eq1CoreExpr to eqCoreExpr1, to be consistent with the new bits