[csmith-project/csmith] 7e0873: Update facts for definitive assignment based on nu...

[Xuejun Yang <noreply@github.com>]

  Branch: refs/heads/jxyang.issue104
  Home:   https://github.com/csmith-project/csmith
  Commit: 7e0873373529f7d7d393a48384e0afa7b2d368af
      https://github.com/csmith-project/csmith/commit/7e0873373529f7d7d393a48384e0afa7b2d368af
  Author: Xuejun Yang <xuejya@microsoft.com>
  Date:   2020-11-27 (Fri, 27 Nov 2020)

  Changed paths:
    M src/Block.cpp
    M src/ExpressionComma.cpp
    M src/ExpressionVariable.cpp
    M src/Fact.cpp
    M src/Fact.h
    M src/FactMgr.cpp
    M src/FactPointTo.cpp
    M src/FactPointTo.h
    M src/FactUnion.cpp
    M src/FactUnion.h
    M src/FunctionInvocation.cpp
    M src/FunctionInvocationBinary.cpp
    M src/Lhs.cpp
    M src/Statement.cpp
    M src/Statement.h
    M src/StatementArrayOp.cpp
    M src/StatementAssign.cpp
    M src/StatementBreak.cpp
    M src/StatementContinue.cpp
    M src/StatementExpr.cpp
    M src/StatementFor.cpp
    M src/StatementGoto.cpp
    M src/StatementIf.cpp
    M src/StatementReturn.cpp
    M src/util.cpp
    M src/util.h

  Log Message:
  -----------
  Update facts for definitive assignment based on number of pointees on LHS

Also:
1) Add Statement::to_string for better debugging
2) Force all analysis failures to be reported via log_analysis_fail

Fix #104