Abstract_rewriting_system loading ...