TODO note for removePointlessExecutionModes()