Detecting and resolving unsound workflow views for correct provenance analysis