Bugfix for --dumpsimplified
which was not more dumping clauses