warning on SSAInstruction equals()