Article 50 of the Lisbon treaty sets out how an EU country might voluntarily leave the union. The wording is vague, almost as if the drafters thought it unlikely it would ever come into play.