added inlining in DefaultScanner
...
added and removed Union