Updated verification from FScheme to DS engine.

These tests are still failing, even after changing verification because there are few Nodes which has been deprecated.