equation → goto-programs Relation

File in src/goto-symex/equation	Includes file in src/goto-programs
slice.h	property_verdict.h
symex_target.h	goto_program.h
symex_target_equation.h	goto_program.h