On the observational theory of the CPS-calculus