sbool agiBlue_lockTriplePatternApplies(T3S lockTriple, T3S t) {
  ret lockTriple != null && t != null
    && eqicOrLeftIsStar(lockTriple.a, t.a)
    && eqicOrLeftIsStar(lockTriple.b, t.b)
    && eqicOrLeftIsStar(lockTriple.c, t.c);
}