Refactoring of splitInterval
Refactor: obsVars, secVars, privVars into a single vars
INLINE pragmas
WIP
Use an environment for constants instead of some arbitrary "final" state