A program analysis framework for tccp based on abstract interpretation