Refactor SignSignature and higher level Solver