}
@JExercise(description = "Tests \n\t\tinitialization\n")
public void testNamedComparator() {
NamedComparator namedComparator = _init__namedComparator_namedComparator();
Person1 ht = _init__namedComparator_ht();
Person2 jt = _init__namedComparator_jt();
_test__namedComparator_transitions0_effect_state(namedComparator, ht, jt);
}