Support for null / nonnul checks of class fields

Signed-off-by: Christopher Ewest <christookar@web.de>
find elements "involved to a store"

Signed-off-by: Christopher Ewest <christookar@web.de>