linear relaxation only after interval pruning
*** empty log message ***
non-overlapping assertion
flush
creating an example function with degree 2
degree.ml -- continuation; it seems to work already somehow
cleaned
adding Makefile-degree
continuing in the degree rec function..
degree - programming..