main.progAnal
Classes 
ConditionChecker
MethodGetter
ProgramAnalyser
ProgramSlicer
RoleHolder
SourceSorter
StatementAnalyser
StatementGetter