Improve the recent changes to overlap-checking for view patters

The previous patch simply gave up for view patterns; this version
instead treats them like n+k patterns and gives signficantly better
results.

Less code, too.