uaveiro-leci/1ano/2semestre/lsd/pratica01/part3/db/LogicTop.cmp_merge.kpt