main
analyzer: annotate nonnull args and guard unchecked pointers
prop_common: classify TIM fields as string type