Storage: parameterized the file name so tests won't affect actual
program used file and use their own files
LogicTest: removed unused imports, want to comment that LogicTest uses
LogicStub class in place of Logic