JavaDoc for equivalence checker