fixed bug in class GravisCore, method executeTraverser