Tests for option to exclude unreachable branches