FSM semantic transition component.
Applies the from -> to transition and records history/trace.
from -> to
@spec call(map(), map()) :: map()