Changed Theory for FMU_c, added fmiTrue/fmiFalse