Matches an expression that is either a field access or an application It retruns a TermRef containing field accessed or a method reference and the arguments passed to it.
Matches an expression that is either a field access or an application It retruns a TermRef containing field accessed or a method reference and the arguments passed to it.