remove feature model from pred/succ computation; don't need it there anyway
remove ASTNavigationTest; was empty anyway