disequalities, bugfixes
bugfix loop upper bound
*** empty log message ***
global flags
flags in separate file to make them globally accessible
parsing rational numbers
splitting heuristics
