1 Simulate behaviour of any parameter (decision table), function or domain attribute.
2 Hyperon detects all model properties (context paths) that simulation depends on.
3 Fill properties' values and verify parameters' or functions' outputs.
4 You may save such simulation as a test case for further analysis or for regression test suite.
