Preprocessor for the Ocf library

WWW: https://zoggy.frama.io/ocf/
