(declare-fun symbol () Bool)
(declare-fun symbol () Bool) ; twice!