fixed procedures_callnoreturn block --> now there are no exceptions
backup - fixing procedures_callreturn
fixed bug in procedures_calls