Propagate stl_add_facet