support regexp narrowing