starting to add simplification over regex and refinement environment