sat: fix: we don't need bool declare-fun