Add interfaces to conjuncts test file