There should be a `BetaRedex.make` here

[ice1000]

aya-dev/jit-compiler/src/main/java/org/aya/compiler/serializers/TermExprializer.java

Lines 157 to 162 in 8aa2619

	case MemberCall(var of, var ref, var ulift, var args) -> builder.mkNew(MemberCall.class, ImmutableSeq.of(
	doSerialize(of),
	getInstance(ref),
	builder.iconst(ulift),
	serializeToImmutableSeq(Term.class, args)
	));

Not makeNew