Added transitions getters in Automate.h