Correct for guard operating at execution phase