requires the ConcreteSpecializedFunction instance to come from finalize(); the specializer writer must implement finalize()