Fixed instructor loading for overloaded lecture predicate