QUICK(VERY QUICK)FIX in Mutator#getReachableVariables