Infer nullity
Update submodules