fixed bug in lecturer double booked constraint