added test checking codomain size