Maybe rename to "computeResultAndTermination"? The return is the tuple (result, terminate), and "continuation" seems to be the negation of the return value.