case BLACKHOLE:
case CAF_BLACKHOLE:
case STABLE_NAME:
case BLACKHOLE:
case CAF_BLACKHOLE:
case STABLE_NAME:
+ case MUT_VAR_CLEAN:
+ case MUT_VAR_DIRTY:
case CONSTR_INTLIKE:
case CONSTR_CHARLIKE:
case CONSTR_STATIC:
case CONSTR_INTLIKE:
case CONSTR_CHARLIKE:
case CONSTR_STATIC: