public interface SMGConcretisation
java.util.HashSet<ReadableSMG>
execute(ReadableSMG pSMG)
java.util.HashSet<ReadableSMG> execute(ReadableSMG pSMG)