u0(_b_0, _track_0_target, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- _b_0=0, _track_0_target=0, _track_0_SUPER_ROLE=0, _track_0_ToCheckRole=0, _track_0_TargetPrime=0. u0(_b_0_1, _track_0_target, _track_0_SUPER_ROLE_1, _track_0_ToCheckRole_1, _track_0_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b_0=0, _b_0_1=1, _track_0_target=0, _track_0_SUPER_ROLE=0, _track_0_SUPER_ROLE_1=1, _track_0_ToCheckRole=0, _track_0_ToCheckRole_1=1, _track_0_TargetPrime=0. u0(_b_0_1, _track_0_target, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime) :- u0(_b_0, _track_0_target, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b_0=0, _b_0_1=1, _track_0_target=0, _track_0_SUPER_ROLE=0, _track_0_ToCheckRole=0, _track_0_TargetPrime=0. u0(_b_0, _track_0_target, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime_1) :- u0(_b_0, _track_0_target, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b_0=1, _track_0_ToCheckRole=1, u0(_b_0, _track_0_target, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b0=1, _track_0_target=1, _track_0_ToCheckRole=1, _track_0_TargetPrime_1=1. false :- u0(_b_0, _track_0_target, _track_0_SUPER_ROLE, _track_0_ToCheckRole, _track_0_TargetPrime), _b_0=1, _track_0_TargetPrime=1.