Check LHS is assignable on initialization
Small improvements to errors in analyzer-value.c