Updated test cases for '>=' symbolic interpreter bug.