Then this becomes ```checkWildStar orElse stripParens(loop(top))```