Wraps premise in truthtable module and renames test cases to follow directory structure