add daikon progra points/variables
Add daikon program points for Reorder test
Add annotations to reorder main file with invariant discussion