Renamed "clause_info" to "Clause".
Removed clause-indices, and working with clause-pointers instead.