Z3-str permissions test in script.