Application test in CSP compiles