Merge branch 'focus/cpp-ast-refactor' of https://github.com/DaMSL/K3-Core into focus/cpp-ast-refactor
Merge branch 'focus/cpp-ast-refactor' of https://github.com/DaMSL/K3-Core into focus/cpp-ast-refactor
Prettify (seems to be) compiling