Model Checking Java Programs Using Stream Reader