Declarative Visual Programming with Invariant, Pre- and Post-conditions for Lattice Approximation of 3D Models