autoreducer improvements