<check_ce:categorization>Categorizations of models:
- Checked model 0: INCOMPLETE
  - Concrete RAC: INCOMPLETE (terminated because Postcondition of `set` cannot be evaluated)
  - Abstract RAC: INCOMPLETE (terminated because missing value for return value of call to set at "bench/check-ce/manual_map.mlw", line 7, characters 5-18)
File "bench/check-ce/manual_map.mlw", line 5, characters 14-36:
Sub-goal Postcondition of goal test_map'vc.
Prover result is: Unknown (sat).

