About to break flatac_ssl_font_end.ml appart
adding functions that perform simplification upon Non deterministic arithemitical expressions