Updated verification from FScheme to DS engine.

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