janalyzer → analyses Relation

File in jbmc/src/janalyzer	Includes file in analyses
janalyzer_parse_options.cpp	constant_propagator.h
janalyzer_parse_options.cpp	dependence_graph.h
janalyzer_parse_options.cpp	interval_domain.h
janalyzer_parse_options.cpp	local_may_alias.h