Added array allocation to semant