remove postconditions, they are all maps, obviously
select query form
some construct specs