Experimental modification to code generator -- automatic boxing and unboxing of symbolic values for attributes
Refactor the attribute semantics changes to be conditional
Merge branch 'experiment-symbolic-get-set' into feature-symbolic-execution
Make the value attribute on input elements support symbolic values