Add alt-ergo 0.95.2