Removed stuff that is moved to CsRedundant