Some semantic patches are meant to be run just once, as they work on functions with changed prototypes. We keep them for reference, but disabled them from the CI to save time.
