adds a test case to check *if not c.rem(g).is_zero:  # g does not divide c* raising a NonElementaryIntegralException