MatchAtom

constructor(atom: K3StringAtom, quantifier: K3SearchInstrQuantifier = K3SearchInstrQuantifier.exactlyOne())(source)