Implemented slim in truth_table
Implemented slim parameter support