Partially porting the core model test functionality