The node you are looking for is at is_surjective.