Tests updated for reddeer API 0.4.0