let satisfied f = Lang.to_bool (Lang.apply ~t:Lang.bool_t f [])