((ConcreteFunctionType) funType).getParameterSlot(param);
}
/** Returns the type of the given parameter of the given function. */
private ConcreteType getParamType(ConcreteType funType, int param) {
ConcreteSlot paramVar = getParamVar(funType, param);
return (paramVar != null) ? paramVar.getType() : ConcreteType.NONE;
}