Extension methods of This
This
Returns C if the underlying tree is of the form C.this
C
C.this
Otherwise, return None.
None