Predicate isFileConstructorArgument
Holds if expSource is an argument to a constructor call exprDest (constructor from java.io.File), where
the specific File constructor being used has paramCount parameters.
Import path
import semmle.code.java.security.TempDirUtilspredicate isFileConstructorArgument(Expr expSource, Expr exprDest, int paramCount)