Abstract analysis of universal properties for tccp