value flow: bailout for class variables that are non-const