No violation reported for the test case "UnrestrictedEtherFlow.sol"

[fang19911030]

I pulled the code at 4/25/2019.

I ran the command: java -jar build/libs/securify.jar -fs /home/xx/UnrestrictedEtherFlow.sol The file is the same as the test cast. I only see two warnings. I don't think this result is correct. Hope this info is helpful.