Decision procedure for co-datatypes