Add ImpAntisym axiom

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Remove useless is_* functions. We can use equality for that (more readable and similar performance).

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>