|  line  | 
 !l  | 
 l&&!r  | 
 l&&r  | 
 condition  | 
 
| 
23
 | 
 82  | 
 0  | 
 68  | 
 blessed $data and $data->isa('Logic::Variable')  | 
 
| 
 | 
 73  | 
 0  | 
 0  | 
 blessed $data and $data->can('resolve')  | 
 
| 
78
 | 
 159  | 
 1  | 
 56  | 
 blessed($$self{'a'}) and $$self{'a'}->isa('Logic::Variable')  | 
 
| 
81
 | 
 12  | 
 0  | 
 1  | 
 blessed $left and $left->isa('Logic::Variable')  | 
 
| 
93
 | 
 169  | 
 11  | 
 35  | 
 blessed($$self{'b'}) and $$self{'b'}->isa('Logic::Variable')  | 
 
| 
96
 | 
 1  | 
 0  | 
 0  | 
 blessed $right and $right->isa('Logic::Variable')  | 
 
| 
110
 | 
 172  | 
 41  | 
 2  | 
 $lvar and $rvar  | 
 
| 
133
 | 
 3  | 
 9  | 
 97  | 
 ref $left eq 'ARRAY' and ref $right eq 'ARRAY'  | 
 
| 
137
 | 
 8  | 
 6  | 
 42  | 
 @$left and @$right  | 
 
| 
150
 | 
 11  | 
 0  | 
 1  | 
 blessed $left and $left->can('unify')  | 
 
| 
 | 
 0  | 
 0  | 
 11  | 
 blessed $right and $right->can('unify')  | 
 
| 
206
 | 
 10  | 
 0  | 
 0  | 
 blessed $other and $other->isa('Logic::Data::Cons')  |