CamlProg(kb,prelude.zo terms.zo equation.zo order.zo kb.zo go.zo,)
