(declare-fun expression () Bool)
(assert (expression expression))