fixed bug in og output in case of empty formula (-> true)