enum types in contract cause syntax error (#859) · Issues · pub / frama-c