printEPVars l = hsep [text "set", sepBySemis $ map f l] where
    f (x, Nothing) = pretty x
    f (x, Just y) = hcat [pretty x, text "=", pretty y]
printEPVars l = hsep [text "set", sepBySemis $ map f l] where
    f (x, Nothing) = pretty x
    f (x, Just y) = hcat [pretty x, text "=", pretty y]
printEPVars l = hsep [text "set", sepBySemis $ map f l] where
    f (x, Nothing) = pretty x
    f (x, Just y) = hcat [pretty x, text "=", pretty y]