verifying basic props of the AST