Removed VLA from theories.c
Removed VLA from theories.c

kaidowei/Criterion,offa/Criterion,Snaipe/Criterion,Snaipe/Criterion,kaidowei/Criterion,offa/Criterion,Snaipe/Criterion,am11/Criterion,kaidowei/Criterion,a1lu/Criterion,Snaipe/Criterion,a1lu/Criterion,am11/Criterion,kaidowei/Criterion,am11/Criterion,offa/Criterion,kaidowei/Criterion,Snaipe/Criterion,am11/Criterion,a1lu/Criterion,a1lu/Criterion,offa/Criterion,offa/Criterion,am11/Criterion,a1lu/Criterion