Added AIG::substituted().
Implemented encoding of RUP information for interpolation.
Generalized node ranking; fixed AIG::get_fanin_cones(); minor improvements.
Finished interpolation implementation.
Fixed bug in AIG::substituted().