Make sure arity mismatch affects provability
Make sure arity mismatch affects provability

vzaramel/golog,mndrix/golog,bransorem/golog,vzaramel/golog,samuell/golog,samuell/golog,bransorem/golog,mndrix/golog