Added test cases for REQUIRES tx attribute, cases when there is TX associated with call, and case when there is no TX associated with the call.