public static boolean isTerminalOrAlwaysTakeFlowControl(int op) {
		return switch (op) {
			case IRETURN, LRETURN, FRETURN, DRETURN, ARETURN, RETURN, ATHROW, TABLESWITCH, LOOKUPSWITCH, GOTO, JSR -> true;
			default -> false;
		};
	}
Any instruction that is matched by this should be safe to use as the last instruction in a method.
If the last instruction in a method yields {@code false} then there is dangling control flow and
the code is not verifier compatible.

@param op
		Instruction opcode.

@return {@code true} when the opcode represents an instruction that
terminates the method flow, or consistently takes a branch.
recaf-core/src/main/java/software/coley/recaf/util/AsmInsnUtil.java