Now checks that the signatures of previous function declarations match the signatures of the function definition