re-added cache for BDDs to avoid recursion explosion, fixed path
calculation for havannah boards