--- a/src/fe_model/p2_local_model.rs Mon May 12 19:30:41 2025 -0500 +++ b/src/fe_model/p2_local_model.rs Mon May 12 20:40:14 2025 -0500 @@ -32,9 +32,10 @@ impl<'a, F: Float> Set<Loc<1, F>> for RealInterval<F> { #[inline] fn contains<I: Instance<Loc<1, F>>>(&self, z: I) -> bool { - let &Loc([x]) = z.ref_instance(); - let &[Loc([x0]), Loc([x1])] = &self.0; - (x0 < x && x < x1) || (x1 < x && x < x0) + z.eval_ref_decompose(|&Loc([x])| { + let &[Loc([x0]), Loc([x1])] = &self.0; + (x0 < x && x < x1) || (x1 < x && x < x0) + }) } }