class RuboCop::AST::NodePattern::Compiler::AtomSubcompiler

def visit_unify
  compiler.bind(node.child) do
    raise Invalid, 'unified variables can not appear first as argument'
  end
end