Model Checking Java Programs Using Methods In Other Java