Split Rpl into two sub-classes: ConcreteRpl and VarRpl and updated all relevant predicates to return Trivalent instead of bool.