very-weak + SCC for alternating aut. (fixes #26)