https://123dok.net/document/yr3l9doy-reusing-constraint-proofs-in-symbolic-analysis.html