polish aborting_execution example (rearrange to improve flow) and add example output for change detection example