For #255 give up on undeducible mapping test for now :(