Introjucer: removed an unimportant assertion