take into account writes inside macro statements during evaluation