Add ServiceIsAbstract constraint