Fix bug: __init__ id of call1 now has correct decl