add daikon prog points.
add invariant annotated main file
add expected resulst.
add daikon program points.
add expected results.
add annotated main file
fix threads so they return NULL
add explicit return values
add daikon program points.
add expected results
add invariant annotations.
add expected results.
add inv annotations.
add daikon program points.
add daikon program points
add expected results.
add annotated main file.
add program points. fix segfault
fix expected results.
fix expected results.