// τ₆ ← primitive<*>(τ₅, xbar₃)
// τ₇ ← primitive<[>(x₀, n₃)
// τ₈ ← primitive<+>(τ₆, τ₇)
// xbar₄ ← primitive</>(τ₈, n₃)
BasicBlock bb = new BasicBlock(null);
LocalVariable lv1 = new LocalVariable("lambda", 1);
bb.addStatement(
new Assignment(
var("n", 3),
new ElementAccess(temp(4), lv1)));
bb.addStatement(
new Assignment(
temp(5),
primitiveCall("-")));
bb.addStatement(
new Assignment(
temp(6),
primitiveCall("*", temp(5), var("xbar", 3))));
bb.addStatement(
new Assignment(
temp(7),
primitiveCall("[", var("x", 0), var("n", 3))));
bb.addStatement(
new Assignment(
temp(8),
primitiveCall("+", temp(6), temp(7))));
bb.addStatement(
new Assignment(
var("xbar", 4),
primitiveCall("/", temp(8), var("n", 3))));