Suppress F# compiler warning FS0049.
warning FS0049: Uppercase variable identifiers should not generally be used in patterns, and may indicate a misspelt pattern name.
Upper case variables are meaningful in HOL Light.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>