Various improvements in test case generation
Fixed expr. generator and disabled small test cases