public static void flushContractTempVariables(DfaMemoryState state) {
    state.flushVariables(var -> var.getDescriptor() instanceof ContractTempDescriptor);
  }
public static void flushContractTempVariables(DfaMemoryState state)