1. Sanity check for the isDeprecated() method, so hhvm plays nice.