pub fn problem_function_symbol() -> Symbol
Returns the runtime constructor symbol for coherent problems.