rules:
  - id: stats-time-partial
    patterns:
      - pattern: Stats.time $NAME $FUNC $ARG $BADARG ...
    message: Stats.time measuring only partial, not complete function application (see https://goblint.readthedocs.io/en/latest/developer-guide/profiling/#stats)
    languages: [ocaml]
    severity: ERROR

Add Semgrep rule for incorrect Stats.time usage
Add Semgrep rule for incorrect Stats.time usage
