Visual programming with invariant, pre- and post-conditions for approximation of a 3D model with assorted 1.5D and 2.5D lattice families