// if there is no edge coming into the node that is
// going to be merged then it is not possible that
// they are affected by the cardinality restriction
// just die instead of possibly unsound results
if(!yEdge || !zEdge)
throw new InternalReasonerException(
"An error occurred related to the max cardinality restriction about " + r);
// if the neighbor nodes did not have the qualification
// in their type list they would have not been affected
// by the cardinality restriction. so this merges depends