Implemented transformation that eliminates successors of calls to ERROR.