Add regression test for procedure-rename and arity problem