Add a formula-specific gdepth check.

Each gamma formula may be instantiated the maximum of gdepth
times globally or once on each branch (when the global
gdepth is reached, the gamma rule starts removing the formula
when it is instantiated).