Add battery/power tests

- Test for opening connection twice
- ODD test placeholder
Note about ODD
Add maxNumberBatteries()

- Update example & tests accordingly
Basic temperature bounds check test
Better coverage for laptop battery & power test

- Via boolean exp
- Yeah truth tables & CNF... :)