No edge crossings

For every two edges e and f there is no pixel (r,c) such that x(r,c,e) and x(r,c,f) are both set to 1. If the parameter crossing_at_begin_end is set to true we allow to share pixel at begin and/or enpoints.
This makro uses the following other makros:
   • default variables