Added maximally implicit assertions to all files