RuSTy User Documentation

Action call without parentheses