RuSTy User Documentation

Duplicate case condition