The current analyzer is not fully implemented and should be augmented. (see ConsistencyChecker.java in ce2e19f2a32f497fd38bfb8d47a2bfc9f51548c0)