paramToStr method
Change "Automatic messages" to buf messages.
Implementation
String paramToStr(var sender, receiver, op, msg) {
// Or return List.
String s = sender.toString();
String r = receiver.toString();
String o = op.toString();
String _rStr = "$s $r $o $msg";
return _rStr;
}