parse/0: reading scenario foo
parse/0: scenario will run: a <- b
parse/0: memory expectation: *1 == 0
warn/0: duplicate expectation for location 1: 0 -> 1
parse/0: memory expectation: *1 == 1