"-a-a-".succ should be "-a-b-"