Output CBMC conjectures