Stg.StaticAnalysis
class
FreeVariables
ast