Why not using `semanticRun <= PASSsemantic`?