fix sempred placement bug (see TODO)