"a": min-value-hit max-value-hit
"n":
"t": min-value-hit
constant-bounds "a": 1 2
constant-bounds "n": 1 4
constant-bounds "t": 1 3
variable "a"
variable "n"
variable "t"