add check for methods with 0 arguments to well-formedness