Fixed bug in simple path constraint to generate the correct relations
Added functionality to add a simple path or transition relation only
once
Added plausibility check for NOT components