Created by: tjhu
cleanup_drop_option_rref sometimes passes, sometimes fails.
cleanup_drop_option_rref