right_decision instead of loop checking
right_decision instead of loop checking

This still keeps the loop checking framework in place but
doesn't use it for breaking loops. Instead, if maximally_extend
does not perform any extension, then a special right-only
decision rule is used instead of the full decision.

chaudhuri/maetning