inconsistency comes from [assumption]

- in general we need to look for implications in the
  assumptions.
updates related to refactoring in MirrorCore.