public bool CheckFurnaceIsOn([PexAssumeUnderTest] PLCController target)
{
bool result = target.CheckFurnaceIsOn();
return(result);
// TODO: add assertions to method PLCControllerTest.CheckFurnaceIsOn(PLCController)
}