Fix bug in parent trace of coverability
Remove debug code