add some extra assertions to compiler