-- NOTE:  counts need to be high enough to pass the default filtering threshold
-- defined on prediction tables in type-predict.cecil!

6500 total

250: "+"[0](2) ""
	250	anon_int:0 anon_int:0
}

250: "-"[0](2) ""
	250	anon_int:0 anon_int:0
}

250: "*"[0](2) ""
	250	anon_int:0 anon_int:0
}

250: "/"[0](2) ""
	250	anon_int:0 anon_int:0
}

250: "%"[0](2) ""
	250	anon_int:0 anon_int:0
}

250: "<"[0](2) ""
	250	anon_int:0 anon_int:0
}

250: "<="[0](2) ""
	250	anon_int:0 anon_int:0
}

250: ">"[0](2) ""
	250	anon_int:0 anon_int:0
}

250: ">="[0](2) ""
	250	anon_int:0 anon_int:0
}

250: ">="[0](2) ""
	250	anon_int:0 anon_int:0
}

250: "succ"[0](1) ""
	250	anon_int:0
}

250: "pred"[0](1) ""
	250	anon_int:0
}

500: "|"[0](2) ""
	250	false:0 @closure
	250	true:0 @closure
}

500: "&"[0](2) ""
	250	true:0 @closure
	250	false:0 @closure
}

500: "not"[0](1) ""
	250	false:0
	250	true:0
}

500: "if"[0](2) ""
	250	false:0 @closure
	250	true:0 @closure
}

500: "if_false"[0](2) ""
	250	false:0 @closure
	250	true:0 @closure
}

500: "if"[0](3) ""
	250	false:0 @closure @closure
	250	true:0 @closure @closure
}

500: "if_false"[0](3) ""
	250	false:0 @closure @closure
	250	true:0 @closure @closure
}