FACT : An Assessment Framework for Model-Based Program Comprehension Tools