Model Checking Java Programs Asked In Interview