Found an issue in FGJ typing rules
In GT-SCast, C and D could be type variables introduced locally