Changes in order to reduce the usage of memory.
Binary clauses of completion are now stored in a separated way in case of satelite is disabled.