public override string ToString() { return String.Format ("MonoVariable [{0}:{1}:{2}:{3}]", Name, Type, StartLiveness, EndLiveness); }