Merge Combinations onto Locations

Can't show this merge request because the target branch locations is missing from project verification/cpachecker. Close this merge request or update the target branch.