Merge pull request #1 from samarion/develop

Abide verification framework
Added tests for class-based traversal optimization