@Test
	void dontFoldVarsOfUsedButOverwrittenParameters() {
		String asm = """
				.method public static example (II)I {
					parameters: { a, b },
				    code: {
				    A:
				        iconst_0
				        istore c
				    B:
				        iload a
				        iload b
				        iadd
				        istore c
				    C:
				        sipush 1000
				        iload c
				        if_icmpge B
				    D:
				        iconst_1
				        istore a
				        iconst_1
				        istore b
				        iload c
				        ireturn
				    E:
				    }
				}
				""";
		validateNoTransformation(asm, List.of(VariableFoldingTransformer.class, StackOperationFoldingTransformer.class));
	}
Show {@link VariableFoldingTransformer} isn't too aggressive
recaf-core/src/test/java/software/coley/recaf/services/deobfuscation/FoldingDeobfuscationTest.java