cleaning up main in DynamicAnalysis