Fix assertions generation for substituted members