write_term_variable_names_malformed(domain_error(write_option, variable_names("a"||non_list))).