Create test for simplification of SLICE(Mem0[id + 1<32>:word64], word32, 8)
Make pointer to global variable if constant type is primitive type with pointer domain
Create test for TypedContantRewriter: primitive type with pointer domain
Add test for type analysis: multi-dimensional array(two statements)
MsMangledNameParser: remove extra space from "operator +"
Add doc comment to CanBeMergedInto method
Unify(double, TypeReference(struct (0 double))) => TypeReference(struct (0 double))
Create Unifier test: Unify(double, TypeReference(struct (0 double))) => TypeReference(struct (0 double))