Mini fixes

Fixes that allowed to Init_Array_Realiz for Stack_Template and Seq_Based_Realiz for Queue_Template to compile, translate and generate VCs.