RuSTy User Documentation

Empty control statement