More consistency checks, better organization of Program.scala, smaller other improvements.
More consistency checks, better organization of Program.scala, smaller other improvements.

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors