Currently no automatic checking is available to make sure that a set of rewriting rules is confluent and will terminate. This is currently the user's responsibility. Some verification features will be developed in the future.
