Refactor WriteAwareBruteSolver constructor to guard against a situation in which the class could have an inconsistent internal state
Refactor WriteAwareBruteSolver constructor to guard against a situation in which the class could have an inconsistent internal state