fixed definition for CP analysis, now to implement sign analysis.