use SimplifyInstruction instead of reimplementing part of it.