simplify inside = and pred