Invoking dedukti and handling errors