public Individual addIndividual(ATermAppl i) {
Node node = abox.getNode( i );
if( node != null ) {
if( node instanceof Literal )
throw new UnsupportedFeatureException(
"Trying to use a literal as an individual: " + ATermUtils.toString( i ) );
return (Individual) node;
}
else if( ATermUtils.isLiteral( i ) ) {
throw new UnsupportedFeatureException(
"Trying to use a literal as an individual: " + ATermUtils.toString( i ) );
}
int remember = abox.getBranch();
abox.setBranch( DependencySet.NO_BRANCH );