loc resolver now return seq of proceduredecl