Add 3/4 implementation for pattern Star(..., ...) = constStr in cb_new_eq