Option 2 is incorrectly understood by you

You probably understood it wrong. Usually option 2 is called reinstatement of status, the student doesn't leave US, and it is an administrative application, not a lawsuit.

http://www.columbia.edu/cu/isso/visa/F-1/F-1_reinstatement.html