dcg_basics:digits//1 unnecessarily commits too early and has incorrect determinism declaration #1208