updated the rules for Field Access non-NULL to include aliasing relationships and constraints
updated the rules for Field Write non-NULL to include aliasing relationships and constraints