Add new test verifying type of functions arcs