public static string formulaToL3String(ASTNode tree) { string ret = libsbmlPINVOKE.formulaToL3String(ASTNode.getCPtr(tree)); return ret; }