Currently, ALL EXCEPT value constraints are processed by the compiler and verified during compilation, but not translated in the generated Python modules, as they are not visible constraints.
See #25 for reference.
The appropriate code generation should certainly be provided around here: