let l' = HExtlib.sharing_map (fire_projection_redex ()) l in
if l == l' then t else C.Appl l'
in
- if (*pragma <> `Projection ||*) List.length args < rno then conclude ()
+ if (*pragma <> `Projection ||*) List.length args <= rno then conclude ()
else
(match List.nth args rno with
| C.Appl (C.Const(Ref.Ref(_,Ref.Con _))::_) ->