moved constraint builder to seperate file
it is now possible to define slicings for test