Some questions about non-termination in DCGs