Self-swap in gcc 4.8 results in sig_abort

[Broes De Cat]

Probably this is not intended, but they are not yet sure themselves. Currently, we should prevent self-swap ourselves, as in unsat-core detection, but we probably better follow http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59603 to see what they decide.