Indor still waits for a better idea to keep pretty names of assertions