ClemsonRSRG/RESOLVE — pull request #140 by yushan87 (2014-11-12 18:07:50+00:00)
Title: 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.