Cert Program Logic Graph