Model Checking Java Programs Using Streamers