fix case id predicate's view f-me/carma#1407