========
>> Function entered: func_normal_ride
Trace:    t1 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:2]
Type:     function [func_normal_ride]
--------
Aspect:   elevator_system
State:    Unknown
Function: func_normal_ride
Event:    Unknown
========
>> Inferred initial state: state_idle
Trace:    t2 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:3]
Type:     state [state_idle]
--------
Aspect:   elevator_system
State:    state_idle
Function: func_normal_ride
Event:    Unknown
========
>> Event: evt_call_registered; Transition tr_idle_to_opening: state_idle -> state_doors_opening
Trace:    t3 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:4]
Type:     event [evt_call_registered]
--------
Aspect:   elevator_system
State:    state_doors_opening
Function: func_normal_ride
Event:    evt_call_registered
========
>> Event: evt_doors_open; Transition tr_opening_to_boarding: state_doors_opening -> state_boarding
Trace:    t4 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:5]
Type:     event [evt_doors_open]
--------
Aspect:   elevator_system
State:    state_boarding
Function: func_normal_ride
Event:    evt_doors_open
========
>> Event: evt_passenger_boards
Trace:    t5 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:6]
Type:     event [evt_passenger_boards]
--------
Aspect:   elevator_system
State:    state_boarding
Function: func_normal_ride
Event:    evt_passenger_boards
========
>> Event: evt_destination_selected
Trace:    t6 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:7]
Type:     event [evt_destination_selected]
--------
Aspect:   elevator_system
State:    state_boarding
Function: func_normal_ride
Event:    evt_destination_selected
========
>> Event: evt_close_doors; Transition tr_boarding_to_closing: state_boarding -> state_doors_closing
Trace:    t7 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:8]
Type:     event [evt_close_doors]
--------
Aspect:   elevator_system
State:    state_doors_closing
Function: func_normal_ride
Event:    evt_close_doors
========
>> Event: evt_doors_locked
Trace:    t8 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:9]
Type:     event [evt_doors_locked]
--------
Aspect:   elevator_system
State:    state_doors_closing
Function: func_normal_ride
Event:    evt_doors_locked
========
>> Event: evt_cabin_dispatched; Transition tr_closing_to_travelling: state_doors_closing -> state_travelling
Trace:    t9 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:10]
Type:     event [evt_cabin_dispatched]
--------
Aspect:   elevator_system
State:    state_travelling
Function: func_normal_ride
Event:    evt_cabin_dispatched
========
>> Event: evt_brake_released
Trace:    t10 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:11]
Type:     event [evt_brake_released]
--------
Aspect:   elevator_system
State:    state_travelling
Function: func_normal_ride
Event:    evt_brake_released
========
>> Event: evt_motor_energised
Trace:    t11 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:12]
Type:     event [evt_motor_energised]
--------
Aspect:   elevator_system
State:    state_travelling
Function: func_normal_ride
Event:    evt_motor_energised
========
>> Event: evt_cabin_travels
Trace:    t12 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:13]
Type:     event [evt_cabin_travels]
--------
Aspect:   elevator_system
State:    state_travelling
Function: func_normal_ride
Event:    evt_cabin_travels
========
>> Event: evt_position_monitored
Trace:    t13 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:14]
Type:     event [evt_position_monitored]
--------
Aspect:   elevator_system
State:    state_travelling
Function: func_normal_ride
Event:    evt_position_monitored
========
>> State asserted: state_travelling
Trace:    t14 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:15]
Type:     state [state_travelling]
--------
Aspect:   elevator_system
State:    state_travelling
Function: func_normal_ride
Event:    evt_position_monitored
========
>> Event: evt_cabin_arrives; Transition tr_travelling_to_levelling: state_travelling -> state_levelling
Trace:    t15 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:16]
Type:     event [evt_cabin_arrives]
--------
Aspect:   elevator_system
State:    state_levelling
Function: func_normal_ride
Event:    evt_cabin_arrives
========
>> Event: evt_doors_open_arrival; Transition tr_levelling_to_opening: state_levelling -> state_doors_opening
Trace:    t16 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:17]
Type:     event [evt_doors_open_arrival]
--------
Aspect:   elevator_system
State:    state_doors_opening
Function: func_normal_ride
Event:    evt_doors_open_arrival
========
>> Event: evt_passenger_exits
Trace:    t17 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:18]
Type:     event [evt_passenger_exits]
--------
Aspect:   elevator_system
State:    state_doors_opening
Function: func_normal_ride
Event:    evt_passenger_exits
========
>> State asserted: state_doors_opening
Trace:    t18 [/home/nihil/Work/FMEA/sbdl/example/logs/normal_ride.log:19]
Type:     state [state_doors_opening]
--------
Aspect:   elevator_system
State:    state_doors_opening
Function: func_normal_ride
Event:    evt_passenger_exits
========