Try to imporve performance of AlligatorToJson by using StringBuilder, but with only limited (if at all) success