do not check error conditions for family-based analysis
fixing nullpointer
add new case study sqlite
add case termination to frontend; add case termination tests
wip