Got rid of successor-checking function for now
Fixed formatting of multiline list literals