A method, apparatus, and product for assisting in the use of functional models. The method comprises obtaining two or more functional models comprising variables, domains and restrictions, the two or more functional models defining a test-space comprising legal tasks; determining a difference between the test-spaces defined by the two or more functional models, wherein the difference comprises at least one task which is covered by one functional model and not the other; and displaying to a user a visual representation of the difference.