Abstract property verifier based on multiway decision graphs