Segmentation fault, due to an infinite loop is gone, now it throws a LabelNotFoundException. Still I wanted to commit this.