Added a fixme for check that is needed to have consistent dislocality
specifications