On Answering Why-Not Queries Against Scientific Workflow Provenance