New Z3-str with regex solved for [] - ^. Exist a bug like x.Matches([cd][a-b])