add changes to take into account Tactive when deciding whether an inconsistency exists