additional assertions, building semmVis as static lib