fixing markings of internal nodes in equality engine