EQC for cuttlefish_datatypes:to_string/2