Use new isPrototyped
predicate in RULE-8-2
#457
Merged
isPrototyped
predicate in RULE-8-2
#457