verify correct inclusion of exodus which are also simple send