modify "ERROR: [Internal] null" line at error log
Detected in build:
Published in build:
Sometimes when VeriTrans crashes it produces the following string in it's log:
ERROR: [Internal] null
It seems non-informative and should be either reformulated or removed.