Corrected rename preconstraints