From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 13 Mar 2013 18:06:10 +0000 (+0100)
Subject: Staturate the set of state of the current node to avoid some traversal.
X-Git-Tag: v0.1~123
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=4e07643b4289460ed0d166e915da745e02e5ec7e;hp=4e07643b4289460ed0d166e915da745e02e5ec7e

Staturate the set of state of the current node to avoid some traversal.
---