Reordering assertions