Restore implicit arguments of irreflexivity (fixes bug #3305).