cosmin trying to make work the range refinement over if conditions
Merge branch 'master' of github.com:HIPERFIT/L0Language
back to Troels version of symbol_table update bounds, more work is needed