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

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.
