check function signature forgot to compare length of formal lists