Adds meta predicate "*->/3" for later implementing {A *-> B; C}.