goto-analyzer → goto-checker Relation

File in src/goto-analyzer	Includes file in src/goto-checker
static_verifier.h	properties.h