normalization
also bugfix in elimination rule