Consistency Checking and Visualization of OCL Constraints