(generate_maximal_additive_faces_general) 1d and 0d additive faces
add FIXME in is_additive_face 1d case