static val METHOD_RETURN: Int
The sort of type references that target the return type of a method. See getSort.
getSort