MAYBE
MAYBE

cat: err.txt: No such file or directory

Tool output
MAYBE
Could not extract property for unknownAssumption
no result for -