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..
check finiteness of input
integer forall/exists
refineCov
initial version
