Initial steps for CPP verifier