Small fix for conversion MONA->VATA; --no-expnf option

Implementation: Fixed small bug with conversion to VATA
Implementation: --no-expnf option, which forces dWiNA to only process
  the last prefix.