suggest boolean expressions for "-wp-prop" arguments (#105) · Issues · pub / frama-c