Make coverage checker look inside pairs/dependent pairs
Fixes #446
Calculate size allocation of BIGINT properly