Add the ability to express constrains between variables

[Google-Autofuzz]

It would be great to able to write something like this:

weggli --unique --contrain '$b<$a' 'char $buf[$b]; scanf("%$as", $buf);' ~/target