Critical/SizeCheck2.ql