Enhanced assertion in example files