Improved elision of wildcard-sequence cases in erase-path