NDFSTA with subsumption
Fix -u0