isPartialFunctionType
checker
isTrivial
cpsNames