delta-debug minimization in the optimize package
from-file methods for light representations