Catch too many arguments for properties

[PCManticore]

For example, this property cannot accept any argument, so we should emit an error about it.

class A:
   @property
   def json(self, **kwargs):
       return kwargs

print(A().json)