skolemization works
creating axle-* directories