Modularized the aliasing algorithms. You can now add your own mechanisms here to experiment with the tradeoffs between soundness, precision and performance. Not that the PTS-based aliasing strategy is not finished yet, so we don't guarantee anything about it (not even that it does not kill your cat ^^)