SemanticSolver only waits for KBManager when necessary, plus fixing bug in processing two quoted sequences in 1 clue
tidying codebase