Added procedure for removing literals of level 0 from clauses involved in the learning process.