let simpl_by_uc = !simpl_by_uc