Added method to resolve which proc. definitions are available for current user