Abella 2.0.2 requires OCaml 4.01.0+