small subtelty linked to the max_var calculation in terms
small subtelty linked to the max_var calculation in terms

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition