adding tough test case for data flow analysis
regenerated sampling script without timelimit
add serialize AST and reuse AST functionality to sampling analysis
correct output of family-based type-checking errors