Linard Arquint

I've followed this description [here](https://www.janknappe.com/blog/Integrating-Academicons-with-Fontawesome-in-the-Millennial-Jekyll-template/): 1. Download the academicons release 2. Place the `css` and `fonts` folders into the existing `assets` folder 3. Add `@import url(css/academicons.css);` to your existing `main.scss`...

A similar issue arises when a precondition of a method does not hold. The error location even depends on whether the method has return parameters or not :

> Before merging this, I would also like to run it with verifiedSCION Makes sense. I've just opened this PR to detect possible issues before the Viper release. Might make...

The only changes to me seems to be that I use `len(arr)` instead of the statically known array length. This is only a problem in the context of null arrays...

Should only be merged after merging PR #531 and fixing the resulting merge conflicts. Since #531 changes the representation of null values, these changes might actually no longer be needed

There is a testcase because we disabled selective imports completely to make it work. This issue however is meant to eventually fix this such that we need to desugar, encode,...

I'm implementing @jcp19 wish by turning this PR into a draft

I had to change the implementation quite a bit more and introduce the concept of whether the location an expression refers to is ghost or not. Please take another look

I've created the issue here as the dependency analysis is part of the silver codebase. You are however totally right that the dependency analysis is not used when simply verifying...

Thanks that's exactly what I just needed :P