fixed a bug when matching concrete size variable against BuiltinList which actually represents a ListUpdate operation
Merge pull request #617 from yilongli/fixing-issue#616

Fixing issue#616