Inline when casing on a variable in translation to PolyFOL