1. Reduction of test case on fuzzer at finer granuality. 2. Testing code on more testcases and other libraries. 3. Recursive meta relations generation and simplification.