fix(clauseQueue): remove warnings, list available profiles
fix(clauseQueue): remove warnings, list available profiles

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition