Full truth table is now written to a csv file, which can be specified as a command line argument