Add a working Hybrid Partial Evaluator to the compiler, no I need to add Symbolic execution to the PE