regexp.test working in puresymbolic