Removed getOneFromSet because the results were not deterministic
Fixed declaration expression and added lost annotation at method call