Add forbidden clauses and update random sampling