Added support for checking suspicious field assignments of
stack-allocated structs, on non-stack-allocated structs