Modular Analysis of Suspension Free cc Programs