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.