Function place_is_provably_unique 

pub(crate) async fn place_is_provably_unique<'db>(
    env: &mut Env<'db>,
    place: SymPlace<'db>,
) -> Errors<bool>