void registerVolatileFields(Map<EKey, Equations> equations) {
      for (Member field : volatileFields) {
        EKey fieldKey = new EKey(field, Out, true);
        equations.put(fieldKey, new Equations(Collections.singletonList(new DirectionResultPair(Volatile.asInt(), VOLATILE_EFFECTS)), true));
      }
    }
void registerVolatileFields(Map<EKey, Equations> equations)