fix segfault on not-proved bug introduced when removing meta interpreters