Constructed graphs are allowed to be non-planar, as there is nothing to force planarity. Add a constraint for this.