gamma
gamma copied to clipboard
New trace gen option and scenario formalization fixes