Codatatype decision procedure for CVC4