analyse: switches with same address are allowed