dafny_in_class_completed