Updating FRAMA with a trigger.