Add index, and move sat_test_data to separate file
Start writing a min_expr function