I've just read about the Primus framework and I'm wondering how can I write my own program analysis (in OCaml) that takes advantage of Primus. Are there any tests/examples that I can look into? Thanks.