Issue: E-expression writer does not validate macro IDs

Issue: E-expression writer does not validate macro IDs: a task in LegoFlow-SWE (Harbor dataset). What the agent is asked, how it is graded, what it runs in, and its files.