oracle and readme files for good-minus-bad analysis feasibility test cases are added.