bmc → base Relation

File in src/sat/bmc	Includes file in src/base
bmcExpand.c	abc / abc.h
bmcMaj.c	cmd / cmd.h
bmcMaj.c	io / ioResub.h
bmcMaj.c	main / main.h