007_regex: add constraints so it now verifies.