assimilations (stopped at b); avoid infinite rule loops