code: public JcString concat(JcString concat) {
  		JcString ret = new JcString(concat, this, OPERATOR.String.CONCAT);
  		QueryRecorder.recordInvocationConditional(this, "concat", ret, QueryRecorder.placeHolder(concat));
  		return ret;
  	}
docs: <div color='red' style="font-size:24px;color:red"><b><i><u>JCYPHER</u></i></b></div>
  <div color='red' style="font-size:18px;color:red"><i>return the result of concatenating two strings, return a <b>JcString</b></i></div>
  <br/>