Compatibility and annotation matching are not completely implemented.
The parses accepts both ~= and @=, and it will create the proper structures for it. But the FIRE model does not completely process them. The runtime also does not fully support these compare statements.