CheckProperty    3986 src/parser.cc    void CheckProperty(
CheckProperty    4193 src/parser.cc              checker.CheckProperty(property, loc, CHECK_OK);
CheckProperty    4261 src/parser.cc      checker.CheckProperty(property, loc, CHECK_OK);