Fixing burst search
Option not to remove clauses that are fresh and glue 2
Allow equivalent literal finding through gates