When building a PC from a trace we need to continue through concrete branches.
Search procedure now gives a PathCondition as a result.
Merge branch 'feature-path-exploration' of github.com:cs-au-dk/Artemis into feature-path-exploration