Another mcdc implementation