[wp] shall use per-behaviour assigns at call sites (#3) · Issues · pub / frama-c