Minor fix.
Fix bug with double negated literals in GUS structures (but a more indepth revision is required).