- added new TC: test_PowerMain_WhenVirtualLine13ChangesStateTo1_PowerMainMessageSentAndPowerMainStateBecomesTrue
- added PowerMain and powerBackup MINs
- added checking InputVoltage field and avl helper function