[PPL-devel] Polyhedra/src LinExpression.defs.hh