fix rendering of metafunctions that use ∪, ∨, etc in the range contract