Enrico, ho il sospetto che per la piena funzionalità di checkengine ci vorrebbe ancora qualcos’altro; è vero che i motoi di composizione più usati sono pdftex, xetex e luatex, ma i formati più usati non sono solo LaTeX e Plain; dall’attività del forum direi che dovrebbe essere usato abbastanza anche context; questo nella versione mkii funziona con il motore pdftex e nella versione mkiv funziona con luatex.
Quindi per vedere se uno sta lavorando con pdflatex, non basta controllare il motore pdftex, ma anche il formato latex; e coì via per gli altri “programmi” di composizione (programma = engine & format, secondo le convenzioni del sistema TeX).
Certo, ora checkengine fa meglio di ifthen più o meno le stesse cose e qualcuna in più; ma secondo me quello che manca a entrambi è il fatto di poter controllare anche il formato; con le espressioni logiche di L3, dovrebbe essere più semplice usare in modo corretto l’operatore && per verificare l’abbinata di un engine e di un format.