initial commit with null check redundancy detection done