Thanks hone,
i think i finally understand what you have done and meant.
but i'm still not sure how much sense it makes to examine a grid, from which is known that there are multiple solutions, by using UR-elimination, which is only valid if the grid has a unique solution.
it seems to me you have created a new variation of Str8ts, with the additional rule that UR-elimination is allowed, no matter if its justified from the original rules or not.