Multiflow annotaion and fixed a bug in ExpEndChecker