add lab11, ordering works
fix insertion of missing clauses