IS_NOT_NULL(CAST(...)) is now avoided instead of removed --> exceptions to unification.