[probability]
  moditem.always = 1
  moditem.assign = 10
  statement.blocking = 5
  statement.conditional = 1
  statement.nonblocking = 1

[property]
  depth = 3
  size = 50