Member predicate ClassDecl :: callReturnsInstance
Holds if for class C
, C()
returns an instance of C
predicate
callReturnsInstance
(
)