Introduce an option parameter into JADE/eig.