False negative: redundant parentheses in \case

[valis]

\func test (f : Nat -> Nat) : Nat => \case (f 0) \with {
  | 0 => 0
  | suc n => n
}