I thought this would test something like when h is `x**2` . so that gcd.args would give (x, 2) . However I think `.is_Pow` should be checked here