pub fn divisions(func: &mut Func, goal: Goal)
Rewrites every division and remainder by a constant that program has an answer for.
program