BANANA - A Tool for Boundary Ambients Nesting ANAlysis