File tuple-scope-check.fmsl, line 3, char 14: x is not a field of the tuple or union on the left of the '.'