Added few hand-crafted tests
Fixed a bug in STNU representation
Added allmax consistency check to fast_dc. Tomorrow edge reductions.