Fixing a trivial segfault
Don't re-calculate polarities, doesn't help with SMT solvers