Won't start - problem with the ignition or with the clutch? on 2002 Volkswagen Cabrio

I bought this car Monday - would randomly not start when I was test driving it - owners took it in to their mechanic - short in ignition. Fixed. Won't start at all now - friend said something to do the the clutch and a sensor on it.

Find out what exactly the mechanic did to it.
Taking it in Monday evening - he will look at it Tuesday - thanks for the tip!