CtcNotIn should take into account definition domain #552
Description
The complementary of
f(x) in [y]
is not
f(x) in complementary(y)
but
f(x) in complementary(y) or x in complementary(definition-domain(f))
{{ message }}
The complementary of
f(x) in [y]
is not
f(x) in complementary(y)
but
f(x) in complementary(y) or x in complementary(definition-domain(f))