add (source) navigator field for ExecBlocks