turn hidden terms into dummy, e.g. relevant for boundary cases of reconstruct_proof;