static ThreadLocal<MapSO> assumeMapping_values = initializedThreadLocal(lambda0 ciMap);

svoid assumeMapping(S var, O value) {
  assumeMapping_values->put(var, value);
}