Logic-Based Detection of Conflicts in APPEL Policies