Model Checking Java Programs Using Constructors In Java