PRO7- and 3SAT-Parsers partially done.