Constraint-base assertion for Haxe