xbt_assert(location.in_memory(), "Expected the variable %s of function %s to be in memory", variable, function);
xbt_assert(location.address() == address, "Bad resolution of local variable %s of %s", variable, function);
xbt_assert(location.in_memory(), "Expected the variable %s of function %s to be in memory", variable, function);
xbt_assert(location.address() == address, "Bad resolution of local variable %s of %s", variable, function);