Fix an issue in ConstructorDef

Fix an issue in ConstructorDef and added a test case