Predicate Completion::labelledContinueCompletion

ContinueCompletion labelledContinueCompletion(Label l)