final ATermAppl cls = (ATermAppl) term.getArgument(1); convertAtomObject(ind).ifPresent(indNode -> final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); if (node1.isPresent() && node2.isPresent()) final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); for (; !args.isEmpty(); args = args.getNext()) final Optional<Node> atomNodeOpt = convertAtomObject((ATermAppl) args.getFirst());// if (atomNodeOpt.isPresent())
final ATermAppl cls = (ATermAppl) term.getArgument(1); convertAtomObject(ind).ifPresent(indNode -> final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); if (node1.isPresent() && node2.isPresent()) final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); for (; !args.isEmpty(); args = args.getNext()) final Optional<Node> atomNodeOpt = convertAtomObject((ATermAppl) args.getFirst());// if (atomNodeOpt.isPresent())
final ATermAppl cls = (ATermAppl) term.getArgument(1); convertAtomObject(ind).ifPresent(indNode -> final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); if (node1.isPresent() && node2.isPresent()) final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); final ATermAppl arg2 = (ATermAppl) term.getArgument(2); final Optional<Node> node1 = convertAtomObject(arg1); final Optional<Node> node2 = convertAtomObject(arg2); for (; !args.isEmpty(); args = args.getNext()) final Optional<Node> atomNodeOpt = convertAtomObject((ATermAppl) args.getFirst());// if (atomNodeOpt.isPresent())