Add new verifiers for variable and field checks.
Add 2 new dao base classes.