AST improved: lookup procedure names in decl