empty class instance as method argument leads to user error (#423) · Issues · pub / frama-c