twa::is_deterministic(), twa::is_unambiguous() and friends are confusing
spot::twa::is_deterministic() that is a constant-time accessor whose result should be interpreted as "Yes/Maybe", and
spot::is_deterministic(aut) that actually check whether the automaton is deterministic.
This has been a source of confusion.
Also in Python it would be nice if aut.is_unambiguous() and spot.is_unambiguous(aut) would be equivalent, as this is already the case for many functions.
I suggest to rename
twa::prop_*, since those should mostly correspond to the properties of HOA.