Variant reduction improvement

[0152la]

Seems attached file can have variants 1 and 2 removed.
reduced.zip

[0152la]

A better example is attached. The assertion failure is between r_0 and r_1 (line 449), so other variants should be removed.

t.zip