support subsets in xor
decrease sizeof Mite
longer profiling
better diagnostics
lift UnsatisfiedArgHead-s in VerbalModifier seq
wrongCondition semantic issue