zero

fun zero(): SymbolicCost