Add Support for Edge Specific BDDs for PJBDD

PJBDD implementes multiple BDDs that utilize edge-specific information (e.g. tagged DDs or CESRBDDs). Those can currently not be used properly in CPAchecker, as it only traverses nodes and ignored edge information.