subrealm
(pl = subrealm(exp, realm))) {
else if ((pl = subrealm(realm, exp))) {
if ((pl1 = subrealm(prev,realm))) {