Pattern generation: generate inferred patterns for lists that ignore their tail

[zachallaun]

auto_assert [1 | _] <- [:foo, 2, 3]

# currently generates
auto_assert [:foo, 2, 3] <- [:foo, 2, 3]

# should generate
auto_assert [:foo | _] <- [:foo, 2, 3]