add check-map-instruction