Model Checking Java Programs Using For Loop