proper used_theories for session build hierarchy, not known_theories from imported sessions;