Student -> Person transformation
Removing Instructor
changed constraint on titular <> instructor

From now on:
Titular = HOC
Instructor = WPO