loading symbolic strategy from file during interactive execution