fixed Execution/SignalHandlers operator<