Fixed bug: ButtonPanel works in TruthTableBuilder when you have multiple target formulae