docs: def verify_false(self, expr, msg=None):
          """
          Soft assert for whether the condition is false
  
          :params expr: the statement to evaluate
          :params msg: (Optional) msg explaining the difference
          """
          try:
              self.assert_false(expr, msg)
          except AssertionError, e:
              if msg:
                  m = "%s:\n%s" % (msg, str(e))
              else:
                  m = str(e)
              self.verification_erorrs.append(m)