Close to proving nice characterisation of left-recursion.