Conditional Counter Increment - Ocaml Typing CST Test