Fixed bug around all_models found by PBC imports