Internal transitions now defined in trans dict