diff --git a/juno_samples/cava/src/cpu.sch b/juno_samples/cava/src/cpu.sch
index 246d10d496faa56f61628d970adffb9d355e2ebd..e9e3e683433d37a565544208b8f796c361891bff 100644
--- a/juno_samples/cava/src/cpu.sch
+++ b/juno_samples/cava/src/cpu.sch
@@ -68,6 +68,7 @@ fixpoint {
 ccp(median);
 array-to-product(median);
 sroa(median);
+phi-elim(median);
 predication(median);
 simpl!(median);