work in progress on RedundantNullCheck. meet operator (intersection) does not work as intended