Updated STNU representation validity checks
Cleaned up FastDC code to be less stateful
Small refactor + graph normalization