changes for optimizer after branching
optimizer 0
doing optimizer
first working optimizer version
first release code optimizer
first optimizer with bugs
Fixed interval version in master
first optimizer complete version
Merge branch 'optbranch'

Conflicts:
	Main.hs
	TCFlow.hs
	TEvalInterval.hs
	TVarStateOperations.hs
missing ordering pattern for intervals
new merges for all the branches