@Test
	void foldVarsOfOverwrittenParameters() {
		String asm = """
				.method public static example (II)I {
					parameters: { a, b },
				    code: {
				    A:
				        iconst_0
				        istore a
				        iconst_0
				        istore b
				    B:
				        iload a
				        iload b
				        iadd
				        ireturn
				    C:
				    }
				}
				""";
		validateAfterAssembly(asm, List.of(VariableFoldingTransformer.class, StackOperationFoldingTransformer.class,
				LinearOpaqueConstantFoldingTransformer.class), dis -> {
			assertEquals(0, StringUtil.count("istore", dis), "Expected to remove redundant istore");
			assertEquals(0, StringUtil.count("iload", dis), "Expected to inline redundant iload");
			assertEquals(1, StringUtil.count("iconst_0", dis), "Expected to have single iconst_0");
		});
	}
Show {@link VariableFoldingTransformer} can inline when parameters are effectively unused/overwritten
recaf-core/src/test/java/software/coley/recaf/services/deobfuscation/FoldingDeobfuscationTest.java