Definition clipFrameCountLoopRangeOption
  (c  : clip)
  (lr : option loopRange) 
: Prop :=
  match lr with
  | Some r => clipFrameCountLoopRange c r
  | None   => True
  end.
