Critical/SizeCheck.ql