further debray fix.
@@ -33,7 +33,7 @@ fn occurs_shallowly_in_head(&self, var: &Var, r: usize) -> bool
}
fn is_in_use(&self, r: usize) -> bool {
- let in_use_range = r < self.arity && r >= self.arg_c;
+ let in_use_range = r <= self.arity && r >= self.arg_c;
self.in_use.contains(&r) || in_use_range
}
