resource mustExplicit not found

[izhimi0706]

Processing contract: src/test/resources/solidity/transaction-reordering.sol:MarketPlace
Attempt to decompile the contract with methods...
Success. Inlining methods...
Propagating constants...
Verifying patterns...
Error in Securify
java.lang.IllegalArgumentException: resource mustExplicit not found.
at com.google.common.base.Preconditions.checkArgument(Preconditions.java:216)
at com.google.common.io.Resources.getResource(Resources.java:195)
at ch.securify.analysis.AbstractDataflow.extractSouffleBinaries(AbstractDataflow.java:97)
at ch.securify.analysis.AbstractDataflow.initDataflow(AbstractDataflow.java:107)
at ch.securify.analysis.MustExplicitDataflow.(MustExplicitDataflow.java:33)
at ch.securify.analysis.Dataflow.(Dataflow.java:33)
at ch.securify.analysis.DataflowFactory.getDataflow(DataflowFactory.java:54)
at ch.securify.Main.checkPatterns(Main.java:413)
at ch.securify.Main.processHexFile(Main.java:189)
at ch.securify.Main.processCompilationOutput(Main.java:129)
at ch.securify.Main.processSolidityFile(Main.java:100)
at ch.securify.Main.main(Main.java:254)
Error, skipping: src/test/resources/solidity/transaction-reordering.sol:MarketPlace