operator.abort, if reimplemented with lazy evaluator