anchor.diff:  RUN apt-get -y -qq install build-essential m4 software-properties-common
   RUN apt-get -y -qq install aspcud unzip
   RUN apt-get -y -qq install ocaml
  +RUN apt-get -y -qq install default-jre default-jdk
   
   # Retrieve z3 binary.
   RUN wget -qq https://github.com/Z3Prover/z3/releases/download/z3-4.4.1/z3-4.4.1-x64-ubuntu-14.04.zip
   RUN unzip z3-4.4.1-x64-ubuntu-14.04.zip
  -RUN mv z3-4.4.1-x64-ubuntu-14.04/bin/z3 .
  +RUN mv z3-4.4.1-x64-ubuntu-14.04/bin/z3 bin/.
   RUN rm -rf z3-4.4.1-x64-ubuntu-14.04.zip z3-4.4.1-x64-ubuntu-14.04/
   
   # Retrieve cvc4 binary
  
positive.code: RUN rm -rf src/_build configure Makefile
  RUN rm -rf bin
  RUN rm -rf src/Makefile src/kind2.native
  RUN ls src
  RUN autoreconf
  RUN ./autogen.sh
  RUN ./build.sh
  
negative.code: # RUN mv cvc4-2016-11-03-x86_64-linux-opt-proofs cvc4
  
  # Retrieve opam.
  RUN wget -qq https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin
  RUN echo "y" | opam init
  RUN eval $(opam config env)
  RUN opam update
  