Merge changes that conduct a model check in pedantic mode for all examples.