using if instead of assert
made verify in schedule static
remove buggy local rule for stores