adding message with expected facts that could be not inferred.
returning not inferred facts, documented this AssertionError