class Example {
	static String example(boolean f) {
		try (Resource r = open()) {
			if (f) return "a";
		} // currently 1 of 2 branches missed
		return "b";
	}

	public static void main(String[] args) {
		example(true);
		example(false);
	}

	static class Resource open() {
		return new Resource();
	}

	static class Resource implements AutoCloseable {
		@Override
		public void close() {
		}
	}
}