Split CEGIS processor factory.

Author: pkesseli

src/cegis/Makefile

@@ -55,7 +55,7 @@ SRC = danger/meta/meta_variable_names.cpp danger/facade/danger_runner.cpp danger
       control/value/float_helper.cpp control/value/control_types.cpp \
       refactor/environment/instrument_state_vars.cpp \
       refactor/instructionset/create_cegis_processor.cpp refactor/instructionset/execute_cegis_program.cpp \
-      refactor/instructionset/processor_types.cpp \
+      refactor/instructionset/processor_types.cpp refactor/instructionset/cegis_processor_body_factory.cpp \
       refactor/preprocessing/refactor_preprocessing.cpp \
       refactor/learn/refactor_symex_learn.cpp \
       refactor/verify/refactor_symex_verify.cpp \