ExplainHoudini change to add reasons for inconsistency as well.