Returns true if MachineState sm is in its final state.