add

fun add(a1: Atom, a2: Atom): Boolean
fun add(pair: AtomPair): Boolean