goto-synthesizer → goto-checker Relation

File in src/goto-synthesizer	Includes file in src/goto-checker
cegis_verifier.cpp	all_properties_verifier_with_trace_storage.h
cegis_verifier.cpp	multi_path_symex_checker.h
cegis_verifier.h	all_properties_verifier.h
goto_synthesizer_parse_options.h	solver_factory.h