public HashSet<FieldRecord> getAndRemoveUnderExecMethodWithDirtyGetFieldInstr(
     FunctionStateKey methodCallInfo) {
   FunctionStateKeyMapValue value = fieldsToSetDirtyInUnderCallMethod.remove(methodCallInfo);
   if (value == null) {
     return null;
   }
   return (HashSet<FieldRecord>) value.getValue();
 }
 public void removeForMapForDirtyGetFieldInstr(FunctionStateKey methodCallInfo) {
   fieldsToSetDirtyAfterMethodCalled.remove(methodCallInfo);
 }