ctl-Static-Testing