Resolving bug on channel artifact edition, and adding static values to fiels of proverif dialog window
