Don't return a const& when getting a node's variable: it's always an integral_type.
[python] Provide the ability to write an SDD visitor and to iterate on all paths of an SDD.