import spec pattern from not_exists branch