poly_inv polynomial invariant calculator for C subset References https://www.researchgate.net/publication/260401836_Fast_inference_of_polynomial_invariants_for_imperative_programs