rename Psi predicate to inst-closure