Test branch slicing