should be: `m->semanticRun >= PASSsemantic3done`