+ Added merge_sort predicate to section 8 draft