stubs: port checkMap/ stub to CFG