symbolic resolution