/aexpr/demos/contraints