fix automation for handle_clash

might not be very robust, but it works for inst_aux, which is all we
really care about.