Option.get in Leon library