Add a feature arc consistency check

No match.