Partial CPS Transformation Using Static Annotation