add signal occurences to EvalEnv
define SignalData
test for double signal
update any event
cosmetic