basic string constraints are working for puresymbolic