@Override public void addType(final ATermAppl x, final ATermAppl c) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeTypeAtom(x, c)) : DependencySet.INDEPENDENT; addType(x, c, ds); }
@Override public void addType(final ATermAppl x, final ATermAppl c) { final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(ATermUtils.makeTypeAtom(x, c)) : DependencySet.INDEPENDENT; addType(x, c, ds); }