Don't create "dummy" expl hyps for obs hyps. Messes with meta-impl-exp.