See discussion in #36. One way to solve this problem is to introduce a variable mapping for `sat.from.parities` and `sat.from.signs`.