Remove unnecessary bit
Add #leave_course(course) for Student