Add test to check the constraint RecursiveCheckConsistencyConstraint