Uses of Class
com.cyc.cycjava.cycl.tva_utilities.$some_conservative_via_arg_assertionP$UnaryFunction

No usage of com.cyc.cycjava.cycl.tva_utilities.$some_conservative_via_arg_assertionP$UnaryFunction