fmbt.heuristic test + some fixes