fn complete_fallback_support_model( constraints: &[SymBoolExpr], model: &mut HashMap<Symbol, U256>, ) -> bool