Blacklist identifiers "o" and "O"
Blacklist identifiers "o" and "O"

These identifiers are used as infix operators for the composition
of functions and relations in Isabelle/HOL

ssaavedra/why3,jpdeplaix/why3,ssaavedra/why3,ssaavedra/why3,douglas-larocca/why3,jpdeplaix/why3,jpdeplaix/why3,douglas-larocca/why3,douglas-larocca/why3