Rewritten Delta and updated ProblemCompiler. Is it still the same?