Add all_, random_, any_, iter_, exists_, is_sat and is_tauto