pub fn create_data_variable(name: String) -> *const _aterm
Creates an unsorted data variable, must be within in a critical section.