justify name "prop_symbols" vs "alphabet" in docstring
handle pwa subsystems correctly for switched systems
new alias: PPP for PropPreservingPartition