Fixing issue #990.
Allow for fresh variables in the configuration.
Merge pull request #1041 from kframework/fix#990

Fixing issue #990.