Consider the following DSLD snippet:

contribute(currentType(...)) {
    if (enclosingNode instanceof MethodCallExpression && enclosingNode.method ...) {
    }
}

enclosingNode.method is inferencing to the meta-DSLD addition method. Because the object expression is not this, method should inference to MethodCallExpression.getMethod or show as unknown.