http://premon.fbk.eu/resource/vn32-throw-17.1_frame_4_pred_2_arg_1 an entity of type: EventPredArg
xsd:boolean
0
end(E0)