Removed optimization for shrinking clauses.
Removed vector used as set in learning and moved data structure into variable.