Preprocess examples declared with `prop`