Function clause

analysis/stratification_test.go:28–34

(str string)

)

func clause(str string) ast.Clause {
	clause, err := parse.Clause(str)
	if err != nil {
		panic(fmt.Errorf("bad syntax in test case: %s got %w", str, err))
	}
	return clause
}

func toOrderMap(predToStratum map[ast.PredicateSym]int) map[int][]ast.PredicateSym {
	unsorted := make(map[int][]ast.PredicateSym)