Fix xml-doc
Cleanup index map usage
Fix conditions visualizaton
Initial implementation of universal quantifier