REOIMCimc makeover
- added reduction via request arrivals on mixed ports
- added non-determinism cleaning