Handled scoping for Formal Arguments