Constant evaluate_root_goal_for_proof_tree_raw 

pub const evaluate_root_goal_for_proof_tree_raw: &str = "evaluate_root_goal_for_proof_tree_raw";