[cvs-nhc98] patch applied (yhc): Add eq1CoreExpr to test CoreExpr's for equality to depth 1