add def to ChechCastNode