pragmas are now stripped of all variability in the form of Opt nodes