Improved some stringifications

stringify.ml

@@ -91,7 +91,7 @@ and node2str node =
         let range = str start ^ ", " ^ str stop ^ step in
         "for (int " ^ counter ^ " = " ^ range ^ ") " ^ str body
     | Allocate (name, dims, _, _) ->
-        name ^ " = __allocate(" ^ concat ", " dims ^ ");"
+        name ^ " := <allocate>(" ^ concat ", " dims ^ ");"
     | Block body -> "{\n" ^ indent (concat "\n" body) ^ "\n}"
 
     (* Expressions *)
@@ -100,7 +100,6 @@ and node2str node =
     | FloatConst (f, _) -> string_of_float f
     | ArrayConst (dims, _) -> "[" ^ concat ", " dims ^ "]"
     | ArrayScalar value -> "<scalar>(" ^ str value ^ ")"
-    (*| ArrayScalar (value, _) -> str value*)
     | Var (v, _) -> v
     | Deref (name, dims, _) -> name ^ (str (ArrayConst (dims, noloc)))
     | Monop (op, opnd, _) -> op2str op ^ str opnd