SuReal: enforce all links to be matched

Small changes to make sure all links are matched.
why ignore r2l-SetLinks which don't have equal number of links as the unabstracted links of the output-SetLink?