let solve_inG handle higher-arity functions for the \Sigma

2 jobs for master in 10 minutes and 54 seconds