Add backward mode for skolem script