OBDD compression of numerical controllers