finiteEqns env eqs              = filter p eqs
  where p (x,e)                 = isSmall e && finite env e


-- can be safely ignored without changing cbv semantics
finiteEqns env eqs              = filter p eqs
  where p (x,e)                 = isSmall e && finite env e


-- can be safely ignored without changing cbv semantics
finiteEqns env eqs              = filter p eqs
  where p (x,e)                 = isSmall e && finite env e


-- can be safely ignored without changing cbv semantics