WP output of loop variant's goal doesn't have location of loop variant (#569) · Issues · pub / frama-c