pub fn parse_variable( text: &str, data_spec: &data_specification, ) -> Result<UniquePtr<aterm>, Exception>
Parses the given text v: Sort as a variable and typechecks it using the given data specification