Start analysis of Horner's rule
Incomplete invariant analysis for Horner's rule

Committed and uploaded so available to continue analysis.