ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams