some optimization to the acyclicity/reduction taxonomy validator