J: check 1: updated checkoperands