Started to code VeriModule to handle actual parsed objects.