analysis/Consistency.ql