Simplified concat postC & added containsSlice postC