Abducing Compliance of Incomplete Event Logs