The scope trees for the application
[T] Scope tree for main.ali 
[T] Part= BODY 
[T] Ref:"ab 1 6" 
[T] Decl:"main 2 11 -> 5 9, decl at 2 11" 
[T]   Ref:"ab 4 4" 
[T]   Ref:"foo 4 7" 
[T] Part= SPEC 
[T] Scope tree for ab.ali 
[T] Part= BODY 
[T] Decl:"ab 2 14 -> 25 7, decl at 2 9" 
[T]   Ref:"foo 4 14" 
[T]   Decl:"my_procedure 5 14 -> 11 20, decl at 8 14" 
[T]     Decl:"local1 6 7, decl at 6 7" 
[T]     Decl:"local2 7 7, decl at 7 7" 
[T]     Ref:"my_record 7 16" 
[T]     Ref:"my_procedure2 9 7" 
[T]     Ref:"my_procedure3 10 7" 
[T]   Decl:"my_procedure2 13 14 -> 17 21, decl at 9 14" 
[T]     Decl:"local3 14 7, decl at 14 7" 
[T]     Ref:"my_procedure3 16 7" 
[T]   Decl:"my_procedure3 19 14 -> 23 21, decl at 10 14" 
[T]     Decl:"local1 20 7, decl at 20 7" 
[T]     Ref:"my_procedure 22 7" 
[T] Part= SPEC 
[T] Decl:"ab 2 9 -> 25 7, decl at 2 9" 
[T]   Decl:"my_record 3 9 -> 6 14, decl at 3 9" 
[T]     Decl:"field1 4 7, decl at 4 7" 
[T]     Decl:"field2 5 7, decl at 5 7" 
[T] Part= 1 
[T] Decl:"foo 2 11 -> 5 8, decl at 11 14" 
[T]   Ref:"my_procedure 4 4" 
scope for entity in a separate, from a reference in a different unit
Entity: Foo
[T] Scope tree for ab.ali 
[T] Decl:"foo 2 11 -> 5 8, decl at 11 14" 
[T]   Ref:"my_procedure 4 4" 
