constructor call assertions feature