Adds a kernel argument attribute is_input

- Transmits changes in the function interface so that they also use is_input
while performing caller<->callee argument matching
- Makes changes in the test cases so that they set is_output, is_input
correctly