A fix to OPB parser

It previously reversed polarity of literals