OCAML Evolution of
OLABL Subsumed