pass proper type to SMT_Builtin.is_builtin
pass proper type to SMT_Builtin.is_builtin

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle