Nesting transactions and procedures