Migrated testsat.py to OCaml
Fixed coverage reports