some hints in the README about replVarsInBmt