improved handling of visited nodes (no need to reset integers in nodes after visits);
improved CodeHandler::optimizeIfs() by avoiding to visit the same nodes