I recently learning about the --warning[ProveField] flag for object variants, and enjoy the increased level of type checking that it provides. However, I have a small issue using this flag alongside procedures that take a specific branch of the object variant. The procedures shouldn't be used on any of the other branches, and I was curious if I could indicate this to the compiler, so that I could get the compile time check on that procedures usage. I know I could get this behavior with a class hierarchy, but I prefer the object variant and it models the domain a lot better than a class hierarchy. I appreciate the help!