pub fn is_constraining_facet(name: &Identifier) -> bool