got rid of <object> term; coalesced with <operand>