testing interface with C
sputnik: split env building from worth_glc
goal-driven-c++
goal-driven-c++
Revert "sputnik: split env building from worth_glc"

This reverts commit e2039a76e957613c2baef4eaf40bab2501f0718d.
on-the-fly Thomas constraints on Process Hitting for Sputnik