Test_case for interp.execute(goal) added