modelize: adapt inherited signatures to use local names in error messages