/*
 * @name Checks for model consistency
 */

import semmle.code.csharp.commons.ConsistencyChecks

from Element e, string m
where consistencyFailure(e,m)
select e, "Element class " + e.getAQlClass() + " has consistency check failed: " + m
