moved print utilities completely to the test classpath: fixed some bugs
finished definition conversations except for phis
Fixed tests
first optimization exchange