was trying to do refinement, but not finished

Signed-off-by: ezheng <ezheng@cs.unc.edu>
Merge branch 'refinement'
continue with the refinement. Not finished

Signed-off-by: ezheng <ezheng@cs.unc.edu>
Merge remote-tracking branch 'remotes/origin/master'