bool halts(function) { // todo: do not halt if function halts, halt otherwise. }

assert(halts(halts));