awslabs/aws-templates-for-cbmc-proofs not found