/lively4-mpm-debugging/demos/contraints