Updated this test to use set_xsb_param.
Authored by: tswift 2018-06-18
Parent: [r9365]
Child: [r9367]