Shape of VC depends on selection of properties (#125) · Issues · pub / frama-c