pre-condition causes fatal error if --skip-verifier

[wmanshu]

Fatal error: Arrays and dictionaries cannot be defined as local variables yet. when I run with --skip-verifier however, it passes the verification test if NOT skip the verifier

public func withdrawReward()
  mutates (gotReward, Wei.rawValue)
  pre (gotReward[caller] == false) 
  {
    // assert (gotReward[caller] == false)
    let toSend: Wei = Wei(source: &balance, amount: prize)
    gotReward[caller] = true
    // send(caller, &toSend)
  }

I suppose I posted a similar error before?

[wmanshu]

This only happens when preconditions contain global variables