ported "unused and uninited" checker back to compiler