Experimentation on the kiraly coverage, with some peripheral tool improvements