Fix build method visibility
Fix xml-doc
Cleanup index map usage
Fix conditions visualizaton
Initial implementation of universal quantifier
Separate quantifier and group elements