LOGIC-96: give up on "efficient" updatec in !=c for now, since it is buggy