Added testcase for TyphoonPatcher when definition has runtime arguments