Now checks whether the @WCA is within the method. Need to handle when @WCA is specified to the inf loop e.g. while(true). In this case, need to find 'goto' since no other branch bc will be generated.
Now checks whether the @WCA is within the method. Need to handle when
@WCA is specified to the inf loop e.g. while(true). In this case, need
to find 'goto' since no other branch bc will be generated.

amal029/waa,amal029/waa,amal029/waa