Solving Goals State
Goal files
Interpreter update: static class