Change interface to MachineInstr::substituteValue to specify more precisely