Solved the double edge problem in CFGs