Adding sanity checks in function/var annots.