acb → proof Relation

File in src/base/acb	Includes file in src/proof
acbCom.c	cec / cec.h
acbTest.c	fraig / fraig.h