adding new dir for changing to multi sat solver schema
adjust structure to remove not used code
fix bug in compsyn_multisat to alloc proof