because of the similarity in how they use sets, fixing nal.5.19 may also fix decision making example1. but but remain broken as of this commit