WYONE: fixed infinite loop bug in wyone subtype testing in the presence of recursive automata.
Merge branch 'devel' of github.com:DavePearce/Whiley into devel