    srcSpan (Endfile x sp s)         = sp
    srcSpan (Exit x sp s)            = sp
    srcSpan (Format x sp _)          = sp
    srcSpan (Forall x sp es f)       = sp
    srcSpan (Goto x sp s)            = sp
    srcSpan (Nullify x sp e)         = sp
    srcSpan (Inquire x sp s e)       = sp
    srcSpan (Pause x sp _)           = sp