Added tests for generation of '<-:' (restrict by) binary expression (for maps)
Added generation of '<-:' (restrict by) binary expression (for maps)