removeUnnecessaryNotNullAtoms function added. Used to remove IS_NOT_NULL(CAST).