Missing way to verify some mathematical functions

[wmanshu]

In the same MajorityWithdraw.flint file, this get

  public func getResult() -> Bool
  // post (returning (r,  ##r is the percentage of votes))
  {
    var count: Int = 0
    for let p: Address in participants {
      if participantVotes[p] {
        count += 1
      }
    }
    return (count * 100 / numParticipants) >= 50
  }

The value of variable count accumulates when after the loop, but our verification tool not yet has a way to verify this.