Pulled up interface for InfoflowCFG
Fixed build.sbt test dir