An Enhanced UML Consistency Checker Using Logical Approach