Added further test cases for argument binders.