Symexec.freshen_precondition

uses _STEM#ID schema for naming logical variables