Corrected severe inheritance bug & added refined topdown machine states.