65 files changed, 0 insertions, 3395 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.classpath b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.classpath
deleted file mode 100644
index 428337e5..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.classpath
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
-        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
-        <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
-        <classpathentry kind="src" path="src"/>
-        <classpathentry kind="src" path="xtend-gen"/>
-        <classpathentry kind="output" path="bin"/>
-</classpath>
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.gitignore
deleted file mode 100644
index ae3c1726..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/bin/
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.project b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.project
deleted file mode 100644
index ba51fe06..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.project
+++ /dev/null
@@ -1,34 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-        <name>hu.bme.mit.inf.dslreasoner.faulttree.transformation</name>
-        <comment></comment>
-        <projects>
-        </projects>
-        <buildSpec>
-                <buildCommand>
-                        <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
-                        <arguments>
-                        </arguments>
-                </buildCommand>
-                <buildCommand>
-                        <name>org.eclipse.jdt.core.javabuilder</name>
-                        <arguments>
-                        </arguments>
-                </buildCommand>
-                <buildCommand>
-                        <name>org.eclipse.pde.ManifestBuilder</name>
-                        <arguments>
-                        </arguments>
-                </buildCommand>
-                <buildCommand>
-                        <name>org.eclipse.pde.SchemaBuilder</name>
-                        <arguments>
-                        </arguments>
-                </buildCommand>
-        </buildSpec>
-        <natures>
-                <nature>org.eclipse.pde.PluginNature</nature>
-                <nature>org.eclipse.jdt.core.javanature</nature>
-                <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
-        </natures>
-</projectDescription>
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.settings/org.eclipse.jdt.core.prefs b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.settings/org.eclipse.jdt.core.prefs
deleted file mode 100644
index 0c68a61d..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/.settings/org.eclipse.jdt.core.prefs
+++ /dev/null
@@ -1,7 +0,0 @@
-eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
-org.eclipse.jdt.core.compiler.compliance=1.8
-org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
-org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/META-INF/MANIFEST.MF b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/META-INF/MANIFEST.MF
deleted file mode 100644
index 5ee6a4f1..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/META-INF/MANIFEST.MF
+++ /dev/null
@@ -1,22 +0,0 @@
-Manifest-Version: 1.0
-Bundle-ManifestVersion: 2
-Bundle-Name: Transformation
-Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.faulttree.transformation
-Bundle-Version: 1.0.0.qualifier
-Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.faulttree.transformation
-Bundle-RequiredExecutionEnvironment: JavaSE-1.8
-Require-Bundle: com.google.guava,
- org.eclipse.xtext.xbase.lib,
- org.eclipse.xtend.lib,
- org.eclipse.xtend.lib.macro,
- org.eclipse.emf.ecore,
- org.eclipse.viatra.query.runtime,
- org.eclipse.viatra.query.runtime.rete,
- org.eclipse.viatra.query.runtime.localsearch,
- hu.bme.mit.inf.dslreasoner.faulttree.components,
- hu.bme.mit.inf.dslreasoner.logic.model,
- org.apache.commons.lang;bundle-version="2.6.0"
-Export-Package: hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft,
- hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft,
- hu.bme.mit.inf.dslreasoner.faulttree.transformation.ft2galileo,
- hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/build.properties b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/build.properties
deleted file mode 100644
index d8e2f0e9..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/build.properties
+++ /dev/null
@@ -1,5 +0,0 @@
-source.. = src/,\
-           xtend-gen/
-output.. = bin/
-bin.includes = META-INF/,\
-               .
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/Cft2FtTransformation.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/Cft2FtTransformation.xtend
deleted file mode 100644
index a522654c..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/Cft2FtTransformation.xtend
+++ /dev/null
@@ -1,24 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent
-
-class Cft2FtTransformation {
-        def createFaultTree(ComponentFaultTree componentFaultTree) {
-                val materializer = new EventMaterializer
-                val topEvent = materializer.getOrMaterialize(componentFaultTree.topEvent)
-                switch (topEvent) {
-                        ConstantEvent:
-                                FtFactory.eINSTANCE.createConstantModel => [
-                                        failed = topEvent.failed
-                                ]
-                        RandomEvent: {
-                                val builder = new FaultTreeBuilder
-                                builder.addTopLevel(topEvent)
-                                builder.faultTree
-                        }
-                }
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventCollection.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventCollection.xtend
deleted file mode 100644
index 102dc57e..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventCollection.xtend
+++ /dev/null
@@ -1,90 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft
-
-import com.google.common.collect.ImmutableSet
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent
-import java.util.Set
-import org.eclipse.xtend.lib.annotations.Data
-
-@Data
-class EventCollection {
-        val int falseEventCount
-        val int trueEventCount
-        val Set<RandomEvent> randomEvents
-
-        def containsFalseEvent() {
-                falseEventCount >= 1
-        }
-
-        def containsTrueEvent() {
-                trueEventCount >= 1
-        }
-
-        def getVariableEventCount() {
-                randomEvents.size
-        }
-
-        def containsRandomEvent() {
-                variableEventCount >= 1
-        }
-
-        def getCount() {
-                falseEventCount + trueEventCount + variableEventCount
-        }
-
-        def isEmpty() {
-                !containsFalseEvent && !containsTrueEvent && !containsRandomEvent
-        }
-
-        def containsExactlyOneRandomEvent() {
-                !containsFalseEvent && !containsTrueEvent && variableEventCount == 1
-        }
-
-        def toSingleRandomEvent() {
-                if (!containsExactlyOneRandomEvent) {
-                        throw new IllegalStateException("Input collection is not a single random event")
-                }
-                randomEvents.head
-        }
-
-        static def builder() {
-                new Builder()
-        }
-
-        static class Builder {
-                var falseEventCount = 0
-                var trueEventCount = 0
-                val randomEventsBuilder = ImmutableSet.<RandomEvent>builder
-
-                private new() {
-                }
-
-                def add(Event event) {
-                        switch (event) {
-                                ConstantEvent:
-                                        if (event.failed) {
-                                                trueEventCount++
-                                        } else {
-                                                falseEventCount++
-                                        }
-                                RandomEvent:
-                                        randomEventsBuilder.add(event)
-                                default:
-                                        throw new IllegalArgumentException("Unknown event: " + event)
-                        }
-                        this
-                }
-
-                def addAll(EventCollection materializedEvens) {
-                        falseEventCount += materializedEvens.falseEventCount
-                        trueEventCount += materializedEvens.trueEventCount
-                        randomEventsBuilder.addAll(materializedEvens.randomEvents)
-                        this
-                }
-
-                def build() {
-                        new EventCollection(falseEventCount, trueEventCount, randomEventsBuilder.build)
-                }
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.xtend
deleted file mode 100644
index 6b3ed0d0..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.xtend
+++ /dev/null
@@ -1,208 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory
-import java.util.LinkedHashSet
-import java.util.Map
-import org.eclipse.emf.ecore.util.EcoreUtil
-import org.eclipse.xtend.lib.annotations.Data
-
-import static extension hu.bme.mit.inf.dslreasoner.faulttree.model.util.CftExtensions.*
-
-class EventMaterializer {
-        extension val FtFactory = FtFactory.eINSTANCE
-
-        val Map<EventKey<EventDeclaration>, Event> materializationCache = newHashMap
-        val Map<EventKey<InputEvent>, EventCollection> multipleInputCache = newHashMap
-        val ConstantEvent falseEvent
-        val ConstantEvent trueEvent
-        val path = new LinkedHashSet<EventKey<? extends EventDeclaration>>
-
-        new() {
-                falseEvent = createConstantEvent => [
-                        failed = false
-                ]
-                trueEvent = createConstantEvent => [
-                        failed = true
-                ]
-        }
-
-        def getOrMaterialize(Output output) {
-                getOrMaterialize(output.component, output.eventDeclaration)
-        }
-
-        def Event getOrMaterialize(Component component, EventDeclaration eventDeclaration) {
-                val eventKey = new EventKey(component, eventDeclaration)
-                pushEventKey(eventKey)
-                try {
-                        // computeIfAbsent cannot be used recursively, so we must manually cache the event. 
-                        var event = materializationCache.get(eventKey)
-                        if (event === null) {
-                                event = materialize(component, eventDeclaration)
-                                materializationCache.put(eventKey, event)
-                        }
-                        event
-                } finally {
-                        popEventKey(eventKey)
-                }
-        }
-
-        protected def materialize(Component component, EventDeclaration eventDeclaration) {
-                val eventName = component.name + "_" + eventDeclaration.name
-                val event = switch (eventDeclaration) {
-                        InputEvent:
-                                return materializeConnectedEvent(component, eventDeclaration)
-                        BasicEventDefinition: {
-                                val basicEvent = createBasicEvent
-                                basicEvent.distribution = EcoreUtil.copy(eventDeclaration.distribution)
-                                basicEvent
-                        }
-                        GateDefinition: {
-                                val inputs = collectInputs(component, eventDeclaration)
-                                val gate = switch (eventDeclaration) {
-                                        AndGateDefinition:
-                                                if (inputs.containsFalseEvent) {
-                                                        return falseEvent
-                                                } else if (inputs.empty) {
-                                                        return trueEvent
-                                                } else if (inputs.containsExactlyOneRandomEvent) {
-                                                        return inputs.toSingleRandomEvent
-                                                } else {
-                                                        createAndGate
-                                                }
-                                        OrGateDefinition:
-                                                if (inputs.containsTrueEvent) {
-                                                        return trueEvent
-                                                } else if (inputs.empty) {
-                                                        return falseEvent
-                                                } else if (inputs.containsExactlyOneRandomEvent) {
-                                                        return inputs.toSingleRandomEvent
-                                                } else {
-                                                        createOrGate
-                                                }
-                                        KOfMGateDefinition: {
-                                                val requiredTrueInputs = inputs.count * eventDeclaration.k / eventDeclaration.m
-                                                val k = requiredTrueInputs - inputs.getTrueEventCount
-                                                val m = inputs.variableEventCount
-                                                if (k == 0) {
-                                                        return trueEvent
-                                                } else if (k > m) {
-                                                        return falseEvent
-                                                } else if (inputs.containsExactlyOneRandomEvent) {
-                                                        return inputs.toSingleRandomEvent
-                                                } else if (k == 1) {
-                                                        createOrGate
-                                                } else if (k == m) {
-                                                        createAndGate
-                                                } else {
-                                                        val kOfMGate = createKOfMGate
-                                                        kOfMGate.k = k
-                                                        kOfMGate
-                                                }
-                                        }
-                                        default:
-                                                throw new IllegalArgumentException("Unknown gate definition: " + eventDeclaration)
-                                }
-                                gate.inputEvents.addAll(inputs.getRandomEvents)
-                                gate
-                        }
-                        default:
-                                throw new IllegalArgumentException("Unknown event declaration: " + eventDeclaration)
-                }
-                event.name = eventName
-                event
-        }
-
-        protected def materializeConnectedEvent(Component component, InputEvent inputEvent) {
-                if (inputEvent.multiple) {
-                        throw new IllegalArgumentException('''Cannot materialize multiple nput «component.name»_«inputEvent.name»''')
-                }
-                val input = findInput(component, inputEvent)
-                val incomingConnections = input.incomingConnections
-                if (incomingConnections.size != 1) {
-                        throw new IllegalArgumentException('''Input «component.name»_«inputEvent.name» has «incomingConnections.size» connections instead of 1''')
-                }
-                val output = incomingConnections.head.output
-                getOrMaterialize(output.component, output.eventDeclaration)
-        }
-
-        protected def collectInputs(Component component, GateDefinition gateDefinition) {
-                val builder = EventCollection.builder
-                for (inputEventDeclaration : gateDefinition.inputEvents) {
-                        switch (inputEventDeclaration) {
-                                InputEvent case inputEventDeclaration.multiple: {
-                                        val materializedEvents = getOrMaterializeConnectedEvents(component, inputEventDeclaration)
-                                        builder.addAll(materializedEvents)
-                                }
-                                default:
-                                        builder.add(getOrMaterialize(component, inputEventDeclaration))
-                        }
-                }
-                builder.build
-        }
-
-        protected def getOrMaterializeConnectedEvents(Component component, InputEvent inputEvent) {
-                val inputKey = new EventKey(component, inputEvent)
-                pushEventKey(inputKey)
-                try {
-                        // computeIfAbsent cannot be used recursively, so we must manually cache the event. 
-                        var eventCollection = multipleInputCache.get(inputKey)
-                        if (eventCollection === null) {
-                                eventCollection = materializeConnectedEvents(component, inputEvent)
-                                multipleInputCache.put(inputKey, eventCollection)
-                        }
-                        eventCollection
-                } finally {
-                        popEventKey(inputKey)
-                }
-        }
-
-        protected def materializeConnectedEvents(Component component, InputEvent inputEvent) {
-                val input = findInput(component, inputEvent)
-                val builder = EventCollection.builder
-                for (connection : input.incomingConnections) {
-                        if (connection.isCurrentlyConnected) {
-                                val materializedEvent = getOrMaterialize(connection.output)
-                                builder.add(materializedEvent)
-                        }
-                }
-                builder.build
-        }
-
-        protected def findInput(Component component, InputEvent inputEvent) {
-                val input = component.inputs.findFirst[it.inputEvent == inputEvent]
-                if (input === null) {
-                        throw new IllegalArgumentException('''No input «inputEvent» in component «component»''')
-                }
-                return input
-        }
-
-        private def pushEventKey(EventKey<? extends EventDeclaration> eventKey) {
-                if (!path.add(eventKey)) {
-                        throw new IllegalStateException(
-                        '''Circular dependency [«FOR ancestor : path»«ancestor», «ENDFOR»«eventKey»] detected''')
-                }
-        }
-
-        private def popEventKey(EventKey<? extends EventDeclaration> eventKey) {
-                path.remove(eventKey)
-        }
-
-        @Data
-        protected static class EventKey<T extends EventDeclaration> {
-                val Component component
-                val T event
-
-                override toString() '''«component.name»_«event.name»'''
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/FaultTreeBuilder.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/FaultTreeBuilder.xtend
deleted file mode 100644
index 0b0afea6..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/FaultTreeBuilder.xtend
+++ /dev/null
@@ -1,39 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent
-import java.util.Collection
-import org.eclipse.xtend.lib.annotations.Accessors
-
-class FaultTreeBuilder {
-        @Accessors
-        val faultTree = FtFactory.eINSTANCE.createFaultTree
-
-        def addTopLevel(RandomEvent event) {
-                if (faultTree.topEvent !== null) {
-                        throw new IllegalStateException("Top event was already set")
-                }
-                add(event)
-                faultTree.topEvent = event
-        }
-
-        protected def void add(RandomEvent event) {
-                if (faultTree.eContainer == faultTree) {
-                        return
-                }
-                if (faultTree.eContainer !== null) {
-                        throw new IllegalStateException("Event is already in a different fault tree")
-                }
-                faultTree.events += event
-                if (event instanceof Gate) {
-                        addAll(event.inputEvents)
-                }
-        }
-
-        protected def addAll(Collection<RandomEvent> events) {
-                for (event : events) {
-                        add(event)
-                }
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.xtend
deleted file mode 100644
index 10c91fb4..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.xtend
+++ /dev/null
@@ -1,49 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality
-import java.util.Map
-import org.eclipse.viatra.query.runtime.api.IPatternMatch
-import org.eclipse.xtend.lib.annotations.Accessors
-
-class ComponentFaultTreeTrace {
-        @Accessors val componentFaultTree = CftFactory.eINSTANCE.createComponentFaultTree
-
-        val nameGenerator = new ComponentNameGenerator
-        val Map<IPatternMatch, ComponentInstanceTrace> componentInstancesMap = newHashMap
-
-        def instantiateComponent(IPatternMatch patternMatch, ComponentDefinition componenDefinition) {
-                instantiateComponent(patternMatch, componenDefinition, Modality.MUST, false)
-        }
-
-        def instantiateComponent(IPatternMatch patternMatch, ComponentDefinition componenDefinition, Modality exists,
-                boolean allowMultiple) {
-                if (componentInstancesMap.containsKey(patternMatch)) {
-                        throw new IllegalArgumentException("Already instantiated component for match: " + patternMatch)
-                }
-                val componentTrace = new ComponentInstanceTrace(componentFaultTree, componenDefinition, nameGenerator,
-                        exists, allowMultiple)
-                componentInstancesMap.put(patternMatch, componentTrace)
-                componentTrace
-        }
-
-        def setTopLevel(ComponentInstanceTrace trace) {
-                if (componentFaultTree.topEvent !== null) {
-                        throw new IllegalArgumentException("Top level component already set")
-                }
-                val outputs = trace.outputs
-                if (outputs.size !== 1) {
-                        throw new IllegalArgumentException("Top level component must have 1 output, got " + outputs.size +
-                                " instead")
-                }
-                if (!trace.appearsExactlyOnce) {
-                        throw new IllegalArgumentException("Top level must appear in the fault tree exactly once")
-                }
-                componentFaultTree.topEvent = outputs.head
-        }
-
-        def lookup(IPatternMatch patternMatch) {
-                componentInstancesMap.get(patternMatch)
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentInstanceTrace.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentInstanceTrace.xtend
deleted file mode 100644
index 158ab2e1..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentInstanceTrace.xtend
+++ /dev/null
@@ -1,65 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft
-
-import com.google.common.collect.Maps
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output
-import java.util.Map
-
-import static extension hu.bme.mit.inf.dslreasoner.faulttree.model.util.CftExtensions.*
-
-class ComponentInstanceTrace {
-        val componentInstance = CftFactory.eINSTANCE.createComponent
-        val Map<InputEvent, InputTrace> inputEventsMap
-        val Map<EventDeclaration, Output> outputEventsMap
-
-        protected new(ComponentFaultTree faultTree, ComponentDefinition componentDefinition,
-                ComponentNameGenerator nameGenerator, Modality exists, boolean multipleAllowed) {
-                componentInstance.componentDefinition = componentDefinition
-                componentInstance.name = nameGenerator.nextName(componentDefinition)
-                componentInstance.exists = exists
-                componentInstance.multipleAllowed = multipleAllowed
-                inputEventsMap = Maps.newHashMapWithExpectedSize(componentDefinition.inputEvents.size)
-                for (inputEvent : componentDefinition.inputEvents) {
-                        val inputTrace = new InputTrace(componentInstance, inputEvent)
-                        inputEventsMap.put(inputEvent, inputTrace)
-                }
-                outputEventsMap = Maps.newHashMapWithExpectedSize(componentDefinition.outputEvents.size)
-                for (outputEvent : componentDefinition.outputEvents) {
-                        val output = CftFactory.eINSTANCE.createOutput
-                        output.eventDeclaration = outputEvent
-                        componentInstance.outputs += output
-                        outputEventsMap.put(outputEvent, output)
-                }
-                faultTree.components += componentInstance
-        }
-
-        def void assign(EventDeclaration inputEvent, ComponentInstanceTrace sourceComponent, EventDeclaration outputEvent) {
-                assign(inputEvent, sourceComponent, outputEvent, Modality.MUST)
-        }
-
-        def void assign(EventDeclaration inputEvent, ComponentInstanceTrace sourceComponent, EventDeclaration outputEvent,
-                Modality exists) {
-                val inputTrace = inputEventsMap.get(inputEvent)
-                if (inputTrace === null) {
-                        throw new IllegalArgumentException("Unknown input: " + inputEvent)
-                }
-                val output = sourceComponent.outputEventsMap.get(outputEvent)
-                if (output === null) {
-                        throw new IllegalArgumentException("Unknown output: " + outputEvent)
-                }
-                inputTrace.assign(output, exists)
-        }
-
-        protected def getOutputs() {
-                componentInstance.outputs
-        }
-
-        protected def appearsExactlyOnce() {
-                componentInstance.appearsExactlyOnce
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentNameGenerator.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentNameGenerator.xtend
deleted file mode 100644
index 71d40a9b..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentNameGenerator.xtend
+++ /dev/null
@@ -1,16 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition
-import java.util.Map
-
-class ComponentNameGenerator {
-        static val DEFAULT_NAME = "__unnamed"
-
-        val Map<ComponentDefinition, Integer> instanceCounts = newHashMap
-
-        def nextName(ComponentDefinition componentDefinition) {
-                val instanceCount = instanceCounts.getOrDefault(componentDefinition, 0)
-                instanceCounts.put(componentDefinition, instanceCount + 1)
-                (componentDefinition.name ?: DEFAULT_NAME) + instanceCount
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/Ecore2CftTransformation.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/Ecore2CftTransformation.xtend
deleted file mode 100644
index 062de3df..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/Ecore2CftTransformation.xtend
+++ /dev/null
@@ -1,28 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft
-
-import com.google.common.collect.ImmutableList
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition
-import java.util.List
-import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine
-
-class Ecore2CftTransformation {
-        val List<MappingHandler> mappingHandlers
-
-        new(TransformationDefinition transformationDefinition, ViatraQueryEngine viatraQueryEngine) {
-                val mappingQueries = new MappingQueries(transformationDefinition, viatraQueryEngine)
-                mappingHandlers = ImmutableList.copyOf(transformationDefinition.mappingDefinitions.map [ mappingDefinition |
-                        new MappingHandler(mappingDefinition, mappingQueries)
-                ])
-        }
-
-        def createComponentFaultTree() {
-                val trace = new ComponentFaultTreeTrace
-                for (handler : mappingHandlers) {
-                        handler.instantiateComponents(trace)
-                }
-                for (handler : mappingHandlers) {
-                        handler.instantiateConnections(trace)
-                }
-                trace.componentFaultTree
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.xtend
deleted file mode 100644
index b892eff1..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.xtend
+++ /dev/null
@@ -1,35 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output
-import java.util.Map
-
-import static extension hu.bme.mit.inf.dslreasoner.faulttree.model.util.CftExtensions.*
-
-class InputTrace {
-        val Input input = CftFactory.eINSTANCE.createInput
-        val Map<Output, Connection> connectionsMap = newHashMap
-
-        protected new(Component component, InputEvent inputEvent) {
-                input.inputEvent = inputEvent
-                component.inputs += input
-        }
-
-        def void assign(Output output, Modality exists) {
-                val connection = connectionsMap.get(output)
-                if (connection === null) {
-                        val newConnection = CftFactory.eINSTANCE.createConnection
-                        newConnection.output = output
-                        newConnection.exists = exists
-                        input.incomingConnections += newConnection
-                        connectionsMap.put(output, newConnection)
-                } else if (exists.isMoreConcreteThan(connection.exists)) {
-                        connection.exists = exists
-                }
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/LookupHandler.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/LookupHandler.xtend
deleted file mode 100644
index 3a06dcc3..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/LookupHandler.xtend
+++ /dev/null
@@ -1,47 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft
-
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition
-import org.eclipse.viatra.query.runtime.api.IPatternMatch
-import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher
-
-class LookupHandler {
-        val int[] argumentIndices
-        val ViatraQueryMatcher<? extends IPatternMatch> lookedUpMatcher
-
-        new(MappingDefinition mappingDefinition, LookupDefinition lookupDefinition,
-                ViatraQueryMatcher<? extends IPatternMatch> lookedUpMatcher) {
-                if (lookupDefinition.eContainer != mappingDefinition) {
-                        throw new IllegalArgumentException("lookupDefinition must be contained in mappingDefinition")
-                }
-                val argumentCount = lookupDefinition.arguments.size
-                if (argumentCount != lookedUpMatcher.parameterNames.length) {
-                        throw new IllegalArgumentException(
-                                "lookupDefinition (name: " + lookupDefinition.mapping?.pattern?.name +
-                                        ") must have as many arguments as lookedUpMatcher (name: " + lookedUpMatcher.patternName + ")")
-                }
-                argumentIndices = newIntArrayOfSize(argumentCount)
-                for (var int i = 0; i < argumentCount; i++) {
-                        val argument = lookupDefinition.arguments.get(i)
-                        val argumentIndex = mappingDefinition.parameters.indexOf(argument)
-                        argumentIndices.set(i, argumentIndex)
-                }
-                this.lookedUpMatcher = lookedUpMatcher
-        }
-
-        def lookupForMatch(ComponentFaultTreeTrace faultTreeTrace, IPatternMatch match) {
-                val lookedUpMatch = createLookedUpMatch(match)
-                faultTreeTrace.lookup(lookedUpMatch)
-        }
-
-        private def createLookedUpMatch(IPatternMatch match) {
-                val lookedUpMatch = lookedUpMatcher.newEmptyMatch
-                val argumentCount = argumentIndices.length
-                for (var int i = 0; i < argumentCount; i++) {
-                        val argumentIndex = argumentIndices.get(i)
-                        var argumentValue = match.get(argumentIndex)
-                        lookedUpMatch.set(i, argumentValue)
-                }
-                lookedUpMatch
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingHandler.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingHandler.xtend
deleted file mode 100644
index 643af5c4..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingHandler.xtend
+++ /dev/null
@@ -1,91 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft
-
-import com.google.common.collect.ImmutableMap
-import com.google.common.collect.Maps
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.Variable
-import java.util.Map
-import org.eclipse.viatra.query.runtime.api.IPatternMatch
-import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher
-
-class MappingHandler {
-        val ViatraQueryMatcher<? extends IPatternMatch> matcher
-        val MappingDefinition mappingDefinition
-        val Map<LookupDefinition, LookupHandler> lookupHandlers
-
-        new(MappingDefinition mappingDefinition, MappingQueries mappingQueries) {
-                matcher = mappingQueries.getMatcher(mappingDefinition)
-                this.mappingDefinition = mappingDefinition
-                val variables = newHashSet
-                for (assignment : mappingDefinition.assignments) {
-                        variables += assignment.input.component
-                        variables += assignment.output.component
-                }
-                lookupHandlers = ImmutableMap.copyOf(variables.filter(LookupDefinition).toMap([it], [ lookupDefinition |
-                        mappingQueries.createLookupHandler(mappingDefinition, lookupDefinition)
-                ]))
-        }
-
-        def instantiateComponents(ComponentFaultTreeTrace faultTreeTrace) {
-                if (!hasComponentInstace) {
-                        return
-                }
-                matcher.forEachMatch [ match |
-                        val componentTrace = faultTreeTrace.instantiateComponent(match, componentDefinition)
-                        if (isTopLevel) {
-                                faultTreeTrace.topLevel = componentTrace
-                        }
-                ]
-        }
-
-        def instantiateConnections(ComponentFaultTreeTrace faultTreeTrace) {
-                if (!hasConnections) {
-                        return
-                }
-                matcher.forEachMatch [ match |
-                        val lookedUpComponents = lookupComponents(faultTreeTrace, match)
-                        for (assignment : mappingDefinition.assignments) {
-                                val input = assignment.input
-                                val inputComponent = lookedUpComponents.get(input.component)
-                                val output = assignment.output
-                                val outputComponent = lookedUpComponents.get(output.component)
-                                if (inputComponent !== null && outputComponent !== null) {
-                                        inputComponent.assign(input.event, outputComponent, output.event)
-                                }
-                        }
-                ]
-        }
-
-        private def Map<Variable, ComponentInstanceTrace> lookupComponents(ComponentFaultTreeTrace faultTreeTrace,
-                IPatternMatch match) {
-                val lookedUpComponents = Maps.newHashMapWithExpectedSize(lookupHandlers.size + 1)
-                if (hasComponentInstace) {
-                        val componentInstance = faultTreeTrace.lookup(match)
-                        lookedUpComponents.put(mappingDefinition.componentInstance, componentInstance)
-                }
-                for (pair : lookupHandlers.entrySet) {
-                        val componentInstance = pair.value.lookupForMatch(faultTreeTrace, match)
-                        if (componentInstance !== null) {
-                                lookedUpComponents.put(pair.key, componentInstance)
-                        }
-                }
-                lookedUpComponents
-        }
-
-        private def getComponentDefinition() {
-                mappingDefinition.componentInstance?.componentType
-        }
-
-        private def hasComponentInstace() {
-                componentDefinition !== null
-        }
-
-        private def isTopLevel() {
-                mappingDefinition.topLevel
-        }
-
-        private def hasConnections() {
-                !mappingDefinition.assignments.empty
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingQueries.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingQueries.xtend
deleted file mode 100644
index 6683b3f8..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingQueries.xtend
+++ /dev/null
@@ -1,38 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft
-
-import com.google.common.collect.ImmutableMap
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition
-import java.util.Map
-import org.eclipse.viatra.query.patternlanguage.emf.specification.SpecificationBuilder
-import org.eclipse.viatra.query.runtime.api.GenericQueryGroup
-import org.eclipse.viatra.query.runtime.api.IPatternMatch
-import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine
-import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher
-
-class MappingQueries {
-        val Map<MappingDefinition, ViatraQueryMatcher<? extends IPatternMatch>> matchersMap
-
-        new(TransformationDefinition transformationDefinition, ViatraQueryEngine viatraQueryEngine) {
-                val specificationBuilder = new SpecificationBuilder
-                val querySpecificationsMap = transformationDefinition.mappingDefinitions.toMap([it], [
-                        specificationBuilder.getOrCreateSpecification(pattern)
-                ])
-                GenericQueryGroup.of(querySpecificationsMap.values).prepare(viatraQueryEngine)
-                matchersMap = ImmutableMap.copyOf(querySpecificationsMap.mapValues[getMatcher(viatraQueryEngine)])
-        }
-
-        def getMatcher(MappingDefinition mappingDefinition) {
-                val matcher = matchersMap.get(mappingDefinition)
-                if (matcher === null) {
-                        throw new IllegalArgumentException("Unknown mapping definition: " + mappingDefinition)
-                }
-                matcher
-        }
-        
-        def createLookupHandler(MappingDefinition mappingDefinition, LookupDefinition lookupDefinition) {
-                val lookedUpMatcher = getMatcher(lookupDefinition.mapping)
-                new LookupHandler(mappingDefinition, lookupDefinition, lookedUpMatcher)
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.xtend
deleted file mode 100644
index 4a19e2cd..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.xtend
+++ /dev/null
@@ -1,57 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ft2galileo
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent
-import org.eclipse.xtend2.lib.StringConcatenationClient
-
-class Ft2GalileoTransformation {
-        def toGalileo(FaultTree faultTree) '''
-                toplevel "«faultTree.topEvent.name»";
-                «FOR event : faultTree.events»
-                        "«event.name»" «defineEvent(event)»;
-                «ENDFOR»
-        '''
-
-        protected dispatch def defineEvent(BasicEvent basicEvent) {
-                // ft-diet (https://moves.rwth-aachen.de/ft-diet/) needs a dormancy factor.
-                '''«defineDistribution(basicEvent.distribution)» dorm=0.0'''
-        }
-
-        protected dispatch def StringConcatenationClient defineDistribution(ConstantDistribution distribution) {
-                '''p=«distribution.p»'''
-        }
-
-        protected dispatch def StringConcatenationClient defineDistribution(ExponentialDistribution distribution) {
-                '''lambda=«distribution.lambda»'''
-        }
-
-        protected dispatch def StringConcatenationClient defineDistribution(Distribution distribution) {
-                throw new IllegalArgumentException("Unknown distribution: " + distribution)
-        }
-
-        protected dispatch def StringConcatenationClient defineEvent(Gate gate) {
-                '''«defineGate(gate)» «FOR input : gate.inputEvents SEPARATOR " "»"«input.name»"«ENDFOR»'''
-        }
-
-        protected dispatch def StringConcatenationClient defineGate(AndGate gate) '''and'''
-
-        protected dispatch def StringConcatenationClient defineGate(OrGate gate) '''or'''
-
-        protected dispatch def StringConcatenationClient defineGate(KOfMGate gate) '''«gate.k»of«gate.inputEvents.size»'''
-
-        protected dispatch def StringConcatenationClient defineGate(Gate gate) {
-                throw new IllegalArgumentException("Unknown gate: " + gate)
-        }
-
-        protected dispatch def StringConcatenationClient defineEvent(RandomEvent randomEvent) {
-                throw new IllegalArgumentException("Unknown random even: " + randomEvent)
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ReliabilityResult.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ReliabilityResult.xtend
deleted file mode 100644
index 19c3d17d..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ReliabilityResult.xtend
+++ /dev/null
@@ -1,51 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver
-
-import org.eclipse.xtend.lib.annotations.Data
-import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor
-
-abstract class ReliabilityResult {
-        public static val TIMEOUT = new Unknown("Solver timed out")
-        public static val MEMOUT = new Unknown("Solver out of memory")
-
-        abstract def Solution getOrThrow()
-
-        @Data
-        static final class Solution extends ReliabilityResult {
-                val double lowerBound
-                val double upperBound
-
-                new(double value) {
-                        this(value, value)
-                }
-
-                new(double lowerBound, double upperBound) {
-                        if (lowerBound > upperBound) {
-                                throw new IllegalArgumentException("lowerBound must not be larger than upperBound")
-                        }
-                        this.lowerBound = lowerBound
-                        this.upperBound = upperBound
-                }
-
-                override getOrThrow() {
-                        this
-                }
-        }
-
-        @Data
-        static final class Unknown extends ReliabilityResult {
-                val String message
-                val Throwable cause
-
-                @FinalFieldsConstructor
-                new() {
-                }
-
-                new(String message) {
-                        this(message, null)
-                }
-
-                override getOrThrow() {
-                        throw new RuntimeException(message, cause)
-                }
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.xtend
deleted file mode 100644
index d9059bfc..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.xtend
+++ /dev/null
@@ -1,45 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver
-
-import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolverConfiguration
-
-final class StormDftConfiguration extends SolverConfiguration {
-        public static val DEFAULT_SOLVER_PATH = "storm-dft"
-
-        public double precision = 1e-6
-
-        public boolean bisimulation = true
-
-        public boolean symmetryReduction = true
-
-        public boolean modularization = true
-
-        public boolean dontCarePropagation = true
-
-        public double approximation = 0
-
-        public var approximationHeuristic = ApproximationHeuristic.NONE
-
-        public FtAnalysisObjective objective
-
-        def isApproximationInUse() {
-                approximationHeuristic != ApproximationHeuristic.NONE
-        }
-}
-
-abstract class FtAnalysisObjective {
-        public static val MTTF = new FtAnalysisObjective {
-        }
-
-        private new() {
-        }
-
-        static final class TimeBound extends FtAnalysisObjective {
-                public double timeBound = 0
-        }
-}
-
-enum ApproximationHeuristic {
-        NONE,
-        DEPTH
-// See https://github.com/moves-rwth/storm/issues/35 for additional approximation heuristics.
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftHandler.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftHandler.xtend
deleted file mode 100644
index a250a955..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftHandler.xtend
+++ /dev/null
@@ -1,182 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver
-
-import com.google.common.collect.ImmutableList
-import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel
-import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolverConfiguration
-import java.io.BufferedReader
-import java.io.IOException
-import java.io.InputStream
-import java.io.InputStreamReader
-import java.util.regex.Pattern
-
-class StormDftException extends RuntimeException {
-        new(String s) {
-                super(s)
-        }
-
-        new(String s, Exception e) {
-                super(s, e)
-        }
-}
-
-class StormDftHandler {
-        static val DOUBLE_REGEX = "[-+]?[0-9]*\\.?[0-9]+([eE][-+]?[0-9]+)?"
-        static val SINGLE_RESULT_GROUP = "single"
-        static val LOWER_BOUND_GROUP = "lower"
-        static val UPPER_BOUND_GROUP = "upper"
-        static val RESULT_REGEX = '''^Result:\s*\[(?:(?<«SINGLE_RESULT_GROUP»>«DOUBLE_REGEX»)|\((?<«LOWER_BOUND_GROUP»>«DOUBLE_REGEX»),\s*(?<«UPPER_BOUND_GROUP»>«DOUBLE_REGEX»)\))\]'''
-        static val RESULT_PATTERN = Pattern.compile(RESULT_REGEX)
-
-        static val SIGNAL_EXIT_VALUE_OFFSET = 0x80
-        static val SIGXCPU = 24
-        static val SIGXFSZ = 25
-
-        static val STORM_GENERAL_ERROR = (-1).bitwiseAnd(0xff)
-        static val STORM_TIMEOUT = (-2).bitwiseAnd(0xff)
-        static val STORM_MEMOUT = (-3).bitwiseAnd(0xff)
-
-        def callSolver(String dftFilePath, StormDftConfiguration configuration) {
-                val commandLine = configuration.toCommandLine(dftFilePath)
-                val documentationLevel = configuration.documentationLevel
-                val printOutput = documentationLevel == DocumentationLevel.NORMAL ||
-                        documentationLevel == DocumentationLevel.FULL
-                val processBuilder = new ProcessBuilder().command(commandLine)
-                var Process process = null
-                try {
-                        try {
-                                process = processBuilder.start
-                                process.outputStream.close
-                                val result = readOutput(process.inputStream, printOutput)
-                                val error = readError(process.errorStream, printOutput)
-                                val exitValue = process.waitFor
-                                if (result === null) {
-                                        interpretExitStatus(exitValue, error)
-                                } else {
-                                        result
-                                }
-                        } catch (IOException e) {
-                                throw new StormDftException("Error during input/output handling of the stochastic solver.", e)
-                        }
-                } catch (Exception e) {
-                        if (process !== null) {
-                                process.destroyForcibly.waitFor
-                        }
-                        throw e
-                }
-        }
-
-        private def toCommandLine(extension StormDftConfiguration configuration, String dftFilePath) {
-                extension val optionsBuilder = ImmutableList.builder
-                add(solverPath ?: StormDftConfiguration.DEFAULT_SOLVER_PATH)
-                if (runtimeLimit != SolverConfiguration.Unlimited) {
-                        add("--timeout", runtimeLimit.toString)
-                }
-                add("--precision", precision.toString)
-                if (bisimulation) {
-                        add("--bisimulation")
-                }
-                if (symmetryReduction) {
-                        add("--symmetryreduction")
-                }
-                if (modularization) {
-                        add("--modularisation")
-                }
-                if (!dontCarePropagation) {
-                        add("--disabledc")
-                }
-                if (approximationInUse) {
-                        val heuristicName = switch (approximationHeuristic) {
-                                case DEPTH:
-                                        "depth"
-                                default:
-                                        throw new IllegalArgumentException("Unknown approximation heuristic: " + approximationHeuristic)
-                        }
-                        add("--approximation", approximation.toString, "--approximationheuristic", heuristicName)
-                }
-                add("--dftfile", dftFilePath)
-                switch (objective) {
-                        case FtAnalysisObjective.MTTF:
-                                add("--expectedtime")
-                        FtAnalysisObjective.TimeBound:
-                                add("--timebound")
-                        default:
-                                throw new IllegalArgumentException("Unknown analysis objective: " + objective)
-                }
-                if (documentationLevel == DocumentationLevel.FULL) {
-                        add("--verbose")
-                }
-                build
-        }
-
-        private def readOutput(InputStream inputStream, boolean printOutput) {
-                val bufferedReader = new BufferedReader(new InputStreamReader(inputStream))
-                try {
-                        var String line
-                        while ((line = bufferedReader.readLine) !== null) {
-                                if (printOutput) {
-                                        println(line)
-                                }
-                                val matcher = RESULT_PATTERN.matcher(line)
-                                if (matcher.find) {
-                                        try {
-                                                val single = matcher.group(SINGLE_RESULT_GROUP)
-                                                if (single !== null) {
-                                                        val singleValue = Double.parseDouble(single)
-                                                        return new ReliabilityResult.Solution(singleValue)
-                                                }
-                                                val lower = matcher.group(LOWER_BOUND_GROUP)
-                                                val upper = matcher.group(UPPER_BOUND_GROUP)
-                                                if (lower !== null && upper !== null) {
-                                                        val lowerValue = Double.parseDouble(lower)
-                                                        val upperValue = Double.parseDouble(upper)
-                                                        return new ReliabilityResult.Solution(lowerValue, upperValue)
-                                                }
-                                                throw new StormDftException("Inconsistent stochastic solver output: " + line)
-                                        } catch (NumberFormatException e) {
-                                                throw new StormDftException("Malformatted number from stochastic solver.", e)
-                                        }
-                                }
-                        }
-                } finally {
-                        bufferedReader.close
-                }
-                null
-        }
-
-        private def readError(InputStream inputStream, boolean printOutput) {
-                val bufferedReader = new BufferedReader(new InputStreamReader(inputStream))
-                try {
-                        val lines = newArrayList
-                        var String line
-                        while ((line = bufferedReader.readLine) !== null) {
-                                if (printOutput) {
-                                        System.err.println(line)
-                                }
-                                lines += line
-                        }
-                        lines.join("\n")
-                } finally {
-                        bufferedReader.close
-                }
-        }
-
-        private def interpretExitStatus(int exitValue, String error) {
-                switch (exitValue) {
-                        case STORM_GENERAL_ERROR:
-                                throw new StormDftException("Storm error: " + error)
-                        case STORM_TIMEOUT,
-                        case SIGNAL_EXIT_VALUE_OFFSET + SIGXCPU:
-                                ReliabilityResult.TIMEOUT
-                        case STORM_MEMOUT,
-                        case SIGNAL_EXIT_VALUE_OFFSET + SIGXFSZ:
-                                ReliabilityResult.MEMOUT
-                        default: {
-                                if (exitValue > SIGNAL_EXIT_VALUE_OFFSET) {
-                                        val signalNumber = exitValue - SIGNAL_EXIT_VALUE_OFFSET
-                                        throw new StormDftException("Storm unexpectedly killed by signal " + signalNumber + ": " + error)
-                                }
-                                throw new StormDftException("Storm unexpectedly exit with status " + exitValue + ": " + error)
-                        }
-                }
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftSolver.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftSolver.xtend
deleted file mode 100644
index 931b9f39..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftSolver.xtend
+++ /dev/null
@@ -1,43 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ft2galileo.Ft2GalileoTransformation
-import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace
-
-class StormDftSolver {
-        static val DFT_FILE_NAME = "ft.dft"
-
-        val ft2Galileo = new Ft2GalileoTransformation
-        val handler = new StormDftHandler
-
-        def solve(ReliabilityModel reliabilityModel, StormDftConfiguration configuration,
-                ReasonerWorkspace reasonerWorkspace) {
-                switch (reliabilityModel) {
-                        FaultTree:
-                                solve(reliabilityModel, configuration, reasonerWorkspace)
-                        ConstantModel: {
-                                val result = if (reliabilityModel.failed) {
-                                                0
-                                        } else {
-                                                switch (objective : configuration.objective) {
-                                                        case FtAnalysisObjective.MTTF: Double.POSITIVE_INFINITY
-                                                        FtAnalysisObjective.TimeBound: 1
-                                                        default: throw new IllegalArgumentException("Unknown objective: " + objective)
-                                                }
-                                        }
-                                new ReliabilityResult.Solution(result)
-                        }
-                        default:
-                                throw new IllegalArgumentException("Unknown reliability model: " + reliabilityModel)
-                }
-        }
-
-        def solve(FaultTree faultTree, StormDftConfiguration configuration, ReasonerWorkspace reasonerWorkspace) {
-                val galileo = ft2Galileo.toGalileo(faultTree)
-                reasonerWorkspace.writeText(DFT_FILE_NAME, galileo)
-                val dftFilePath = reasonerWorkspace.getFile(DFT_FILE_NAME).absolutePath
-                handler.callSolver(dftFilePath, configuration)
-        }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/.gitignore
deleted file mode 100644
index 49df59a2..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/.gitignore
+++ /dev/null
@@ -1,8 +0,0 @@
-/.CftTransformation.java._trace
-/.ComponentFaultTreeTrace.java._trace
-/.ComponentInstanceTrace.java._trace
-/.InputTrace.java._trace
-/.MappingHandler.java._trace
-/.ComponentInstantiationHandler.java._trace
-/.MappingQueries.java._trace
-/.LookupHandler.java._trace
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.Cft2FtTransformation.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.Cft2FtTransformation.xtendbin
deleted file mode 100644
index dfae40e9..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.Cft2FtTransformation.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.EventCollection.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.EventCollection.xtendbin
deleted file mode 100644
index 0aaf712d..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.EventCollection.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.EventMaterializer.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.EventMaterializer.xtendbin
deleted file mode 100644
index e51f73a6..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.EventMaterializer.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.FaultTreeBuilder.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.FaultTreeBuilder.xtendbin
deleted file mode 100644
index 89e003dc..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.FaultTreeBuilder.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.gitignore
deleted file mode 100644
index 058cff19..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/.gitignore
+++ /dev/null
@@ -1,16 +0,0 @@
-/.Cft2FtTransformation.java._trace
-/.EventMaterializer.java._trace
-/.MaterializedEvent.java._trace
-/.CollectedInputs.java._trace
-/.MaterializedEventCollection.java._trace
-/.FaultTreeBuilder.java._trace
-/.FaultModelBuilder.java._trace
-/.EventCollection.java._trace
-/.Cft2FtTransformation.xtendbin
-/.EventCollection.xtendbin
-/.EventMaterializer.xtendbin
-/.FaultTreeBuilder.xtendbin
-/Cft2FtTransformation.java
-/EventCollection.java
-/EventMaterializer.java
-/FaultTreeBuilder.java
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/Cft2FtTransformation.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/Cft2FtTransformation.java
deleted file mode 100644
index e87b8865..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/Cft2FtTransformation.java
+++ /dev/null
@@ -1,49 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft;
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft.EventMaterializer;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft.FaultTreeBuilder;
-import org.eclipse.xtext.xbase.lib.ObjectExtensions;
-import org.eclipse.xtext.xbase.lib.Procedures.Procedure1;
-
-@SuppressWarnings("all")
-public class Cft2FtTransformation {
-  public ReliabilityModel createFaultTree(final ComponentFaultTree componentFaultTree) {
-    ReliabilityModel _xblockexpression = null;
-    {
-      final EventMaterializer materializer = new EventMaterializer();
-      final Event topEvent = materializer.getOrMaterialize(componentFaultTree.getTopEvent());
-      ReliabilityModel _switchResult = null;
-      boolean _matched = false;
-      if (topEvent instanceof ConstantEvent) {
-        _matched=true;
-        ConstantModel _createConstantModel = FtFactory.eINSTANCE.createConstantModel();
-        final Procedure1<ConstantModel> _function = (ConstantModel it) -> {
-          it.setFailed(((ConstantEvent)topEvent).isFailed());
-        };
-        _switchResult = ObjectExtensions.<ConstantModel>operator_doubleArrow(_createConstantModel, _function);
-      }
-      if (!_matched) {
-        if (topEvent instanceof RandomEvent) {
-          _matched=true;
-          FaultTree _xblockexpression_1 = null;
-          {
-            final FaultTreeBuilder builder = new FaultTreeBuilder();
-            builder.addTopLevel(((RandomEvent)topEvent));
-            _xblockexpression_1 = builder.getFaultTree();
-          }
-          _switchResult = _xblockexpression_1;
-        }
-      }
-      _xblockexpression = _switchResult;
-    }
-    return _xblockexpression;
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventCollection.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventCollection.java
deleted file mode 100644
index dceef9f8..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventCollection.java
+++ /dev/null
@@ -1,188 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft;
-
-import com.google.common.collect.ImmutableSet;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
-import java.util.Set;
-import org.eclipse.xtend.lib.annotations.Data;
-import org.eclipse.xtext.xbase.lib.IterableExtensions;
-import org.eclipse.xtext.xbase.lib.Pure;
-import org.eclipse.xtext.xbase.lib.util.ToStringBuilder;
-
-@Data
-@SuppressWarnings("all")
-public class EventCollection {
-  public static class Builder {
-    private int falseEventCount = 0;
-    
-    private int trueEventCount = 0;
-    
-    private final ImmutableSet.Builder<RandomEvent> randomEventsBuilder = ImmutableSet.<RandomEvent>builder();
-    
-    private Builder() {
-    }
-    
-    public EventCollection.Builder add(final Event event) {
-      EventCollection.Builder _xblockexpression = null;
-      {
-        boolean _matched = false;
-        if (event instanceof ConstantEvent) {
-          _matched=true;
-          boolean _isFailed = ((ConstantEvent)event).isFailed();
-          if (_isFailed) {
-            this.trueEventCount++;
-          } else {
-            this.falseEventCount++;
-          }
-        }
-        if (!_matched) {
-          if (event instanceof RandomEvent) {
-            _matched=true;
-            this.randomEventsBuilder.add(((RandomEvent)event));
-          }
-        }
-        if (!_matched) {
-          throw new IllegalArgumentException(("Unknown event: " + event));
-        }
-        _xblockexpression = this;
-      }
-      return _xblockexpression;
-    }
-    
-    public EventCollection.Builder addAll(final EventCollection materializedEvens) {
-      EventCollection.Builder _xblockexpression = null;
-      {
-        int _falseEventCount = this.falseEventCount;
-        this.falseEventCount = (_falseEventCount + materializedEvens.falseEventCount);
-        int _trueEventCount = this.trueEventCount;
-        this.trueEventCount = (_trueEventCount + materializedEvens.trueEventCount);
-        this.randomEventsBuilder.addAll(materializedEvens.randomEvents);
-        _xblockexpression = this;
-      }
-      return _xblockexpression;
-    }
-    
-    public EventCollection build() {
-      ImmutableSet<RandomEvent> _build = this.randomEventsBuilder.build();
-      return new EventCollection(this.falseEventCount, this.trueEventCount, _build);
-    }
-  }
-  
-  private final int falseEventCount;
-  
-  private final int trueEventCount;
-  
-  private final Set<RandomEvent> randomEvents;
-  
-  public boolean containsFalseEvent() {
-    return (this.falseEventCount >= 1);
-  }
-  
-  public boolean containsTrueEvent() {
-    return (this.trueEventCount >= 1);
-  }
-  
-  public int getVariableEventCount() {
-    return this.randomEvents.size();
-  }
-  
-  public boolean containsRandomEvent() {
-    int _variableEventCount = this.getVariableEventCount();
-    return (_variableEventCount >= 1);
-  }
-  
-  public int getCount() {
-    int _variableEventCount = this.getVariableEventCount();
-    return ((this.falseEventCount + this.trueEventCount) + _variableEventCount);
-  }
-  
-  public boolean isEmpty() {
-    return (((!this.containsFalseEvent()) && (!this.containsTrueEvent())) && (!this.containsRandomEvent()));
-  }
-  
-  public boolean containsExactlyOneRandomEvent() {
-    return (((!this.containsFalseEvent()) && (!this.containsTrueEvent())) && (this.getVariableEventCount() == 1));
-  }
-  
-  public RandomEvent toSingleRandomEvent() {
-    RandomEvent _xblockexpression = null;
-    {
-      boolean _containsExactlyOneRandomEvent = this.containsExactlyOneRandomEvent();
-      boolean _not = (!_containsExactlyOneRandomEvent);
-      if (_not) {
-        throw new IllegalStateException("Input collection is not a single random event");
-      }
-      _xblockexpression = IterableExtensions.<RandomEvent>head(this.randomEvents);
-    }
-    return _xblockexpression;
-  }
-  
-  public static EventCollection.Builder builder() {
-    return new EventCollection.Builder();
-  }
-  
-  public EventCollection(final int falseEventCount, final int trueEventCount, final Set<RandomEvent> randomEvents) {
-    super();
-    this.falseEventCount = falseEventCount;
-    this.trueEventCount = trueEventCount;
-    this.randomEvents = randomEvents;
-  }
-  
-  @Override
-  @Pure
-  public int hashCode() {
-    final int prime = 31;
-    int result = 1;
-    result = prime * result + this.falseEventCount;
-    result = prime * result + this.trueEventCount;
-    return prime * result + ((this.randomEvents== null) ? 0 : this.randomEvents.hashCode());
-  }
-  
-  @Override
-  @Pure
-  public boolean equals(final Object obj) {
-    if (this == obj)
-      return true;
-    if (obj == null)
-      return false;
-    if (getClass() != obj.getClass())
-      return false;
-    EventCollection other = (EventCollection) obj;
-    if (other.falseEventCount != this.falseEventCount)
-      return false;
-    if (other.trueEventCount != this.trueEventCount)
-      return false;
-    if (this.randomEvents == null) {
-      if (other.randomEvents != null)
-        return false;
-    } else if (!this.randomEvents.equals(other.randomEvents))
-      return false;
-    return true;
-  }
-  
-  @Override
-  @Pure
-  public String toString() {
-    ToStringBuilder b = new ToStringBuilder(this);
-    b.add("falseEventCount", this.falseEventCount);
-    b.add("trueEventCount", this.trueEventCount);
-    b.add("randomEvents", this.randomEvents);
-    return b.toString();
-  }
-  
-  @Pure
-  public int getFalseEventCount() {
-    return this.falseEventCount;
-  }
-  
-  @Pure
-  public int getTrueEventCount() {
-    return this.trueEventCount;
-  }
-  
-  @Pure
-  public Set<RandomEvent> getRandomEvents() {
-    return this.randomEvents;
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.java
deleted file mode 100644
index 98a82b7d..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/EventMaterializer.java
+++ /dev/null
@@ -1,469 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft;
-
-import com.google.common.base.Objects;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.AndGateDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.BasicEventDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.GateDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.KOfMGateDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.OrGateDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantEvent;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Event;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.util.CftExtensions;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft.EventCollection;
-import java.util.LinkedHashSet;
-import java.util.Map;
-import org.eclipse.emf.common.util.EList;
-import org.eclipse.emf.ecore.util.EcoreUtil;
-import org.eclipse.xtend.lib.annotations.Data;
-import org.eclipse.xtend2.lib.StringConcatenation;
-import org.eclipse.xtext.xbase.lib.CollectionLiterals;
-import org.eclipse.xtext.xbase.lib.Extension;
-import org.eclipse.xtext.xbase.lib.Functions.Function1;
-import org.eclipse.xtext.xbase.lib.IterableExtensions;
-import org.eclipse.xtext.xbase.lib.ObjectExtensions;
-import org.eclipse.xtext.xbase.lib.Procedures.Procedure1;
-import org.eclipse.xtext.xbase.lib.Pure;
-
-@SuppressWarnings("all")
-public class EventMaterializer {
-  @Data
-  protected static class EventKey<T extends EventDeclaration> {
-    private final Component component;
-    
-    private final T event;
-    
-    @Override
-    public String toString() {
-      StringConcatenation _builder = new StringConcatenation();
-      String _name = this.component.getName();
-      _builder.append(_name);
-      _builder.append("_");
-      String _name_1 = this.event.getName();
-      _builder.append(_name_1);
-      return _builder.toString();
-    }
-    
-    public EventKey(final Component component, final T event) {
-      super();
-      this.component = component;
-      this.event = event;
-    }
-    
-    @Override
-    @Pure
-    public int hashCode() {
-      final int prime = 31;
-      int result = 1;
-      result = prime * result + ((this.component== null) ? 0 : this.component.hashCode());
-      return prime * result + ((this.event== null) ? 0 : this.event.hashCode());
-    }
-    
-    @Override
-    @Pure
-    public boolean equals(final Object obj) {
-      if (this == obj)
-        return true;
-      if (obj == null)
-        return false;
-      if (getClass() != obj.getClass())
-        return false;
-      EventMaterializer.EventKey<?> other = (EventMaterializer.EventKey<?>) obj;
-      if (this.component == null) {
-        if (other.component != null)
-          return false;
-      } else if (!this.component.equals(other.component))
-        return false;
-      if (this.event == null) {
-        if (other.event != null)
-          return false;
-      } else if (!this.event.equals(other.event))
-        return false;
-      return true;
-    }
-    
-    @Pure
-    public Component getComponent() {
-      return this.component;
-    }
-    
-    @Pure
-    public T getEvent() {
-      return this.event;
-    }
-  }
-  
-  @Extension
-  private final FtFactory _ftFactory = FtFactory.eINSTANCE;
-  
-  private final Map<EventMaterializer.EventKey<EventDeclaration>, Event> materializationCache = CollectionLiterals.<EventMaterializer.EventKey<EventDeclaration>, Event>newHashMap();
-  
-  private final Map<EventMaterializer.EventKey<InputEvent>, EventCollection> multipleInputCache = CollectionLiterals.<EventMaterializer.EventKey<InputEvent>, EventCollection>newHashMap();
-  
-  private final ConstantEvent falseEvent;
-  
-  private final ConstantEvent trueEvent;
-  
-  private final LinkedHashSet<EventMaterializer.EventKey<? extends EventDeclaration>> path = new LinkedHashSet<EventMaterializer.EventKey<? extends EventDeclaration>>();
-  
-  public EventMaterializer() {
-    ConstantEvent _createConstantEvent = this._ftFactory.createConstantEvent();
-    final Procedure1<ConstantEvent> _function = (ConstantEvent it) -> {
-      it.setFailed(false);
-    };
-    ConstantEvent _doubleArrow = ObjectExtensions.<ConstantEvent>operator_doubleArrow(_createConstantEvent, _function);
-    this.falseEvent = _doubleArrow;
-    ConstantEvent _createConstantEvent_1 = this._ftFactory.createConstantEvent();
-    final Procedure1<ConstantEvent> _function_1 = (ConstantEvent it) -> {
-      it.setFailed(true);
-    };
-    ConstantEvent _doubleArrow_1 = ObjectExtensions.<ConstantEvent>operator_doubleArrow(_createConstantEvent_1, _function_1);
-    this.trueEvent = _doubleArrow_1;
-  }
-  
-  public Event getOrMaterialize(final Output output) {
-    return this.getOrMaterialize(output.getComponent(), output.getEventDeclaration());
-  }
-  
-  public Event getOrMaterialize(final Component component, final EventDeclaration eventDeclaration) {
-    Event _xblockexpression = null;
-    {
-      final EventMaterializer.EventKey<EventDeclaration> eventKey = new EventMaterializer.EventKey<EventDeclaration>(component, eventDeclaration);
-      this.pushEventKey(eventKey);
-      Event _xtrycatchfinallyexpression = null;
-      try {
-        Event _xblockexpression_1 = null;
-        {
-          Event event = this.materializationCache.get(eventKey);
-          if ((event == null)) {
-            event = this.materialize(component, eventDeclaration);
-            this.materializationCache.put(eventKey, event);
-          }
-          _xblockexpression_1 = event;
-        }
-        _xtrycatchfinallyexpression = _xblockexpression_1;
-      } finally {
-        this.popEventKey(eventKey);
-      }
-      _xblockexpression = _xtrycatchfinallyexpression;
-    }
-    return _xblockexpression;
-  }
-  
-  protected Event materialize(final Component component, final EventDeclaration eventDeclaration) {
-    RandomEvent _xblockexpression = null;
-    {
-      String _name = component.getName();
-      String _plus = (_name + "_");
-      String _name_1 = eventDeclaration.getName();
-      final String eventName = (_plus + _name_1);
-      RandomEvent _switchResult = null;
-      boolean _matched = false;
-      if (eventDeclaration instanceof InputEvent) {
-        _matched=true;
-        return this.materializeConnectedEvent(component, ((InputEvent)eventDeclaration));
-      }
-      if (!_matched) {
-        if (eventDeclaration instanceof BasicEventDefinition) {
-          _matched=true;
-          BasicEvent _xblockexpression_1 = null;
-          {
-            final BasicEvent basicEvent = this._ftFactory.createBasicEvent();
-            basicEvent.setDistribution(EcoreUtil.<Distribution>copy(((BasicEventDefinition)eventDeclaration).getDistribution()));
-            _xblockexpression_1 = basicEvent;
-          }
-          _switchResult = _xblockexpression_1;
-        }
-      }
-      if (!_matched) {
-        if (eventDeclaration instanceof GateDefinition) {
-          _matched=true;
-          Gate _xblockexpression_1 = null;
-          {
-            final EventCollection inputs = this.collectInputs(component, ((GateDefinition)eventDeclaration));
-            Gate _switchResult_1 = null;
-            boolean _matched_1 = false;
-            if (eventDeclaration instanceof AndGateDefinition) {
-              _matched_1=true;
-              AndGate _xifexpression = null;
-              boolean _containsFalseEvent = inputs.containsFalseEvent();
-              if (_containsFalseEvent) {
-                return this.falseEvent;
-              } else {
-                AndGate _xifexpression_1 = null;
-                boolean _isEmpty = inputs.isEmpty();
-                if (_isEmpty) {
-                  return this.trueEvent;
-                } else {
-                  AndGate _xifexpression_2 = null;
-                  boolean _containsExactlyOneRandomEvent = inputs.containsExactlyOneRandomEvent();
-                  if (_containsExactlyOneRandomEvent) {
-                    return inputs.toSingleRandomEvent();
-                  } else {
-                    _xifexpression_2 = this._ftFactory.createAndGate();
-                  }
-                  _xifexpression_1 = _xifexpression_2;
-                }
-                _xifexpression = _xifexpression_1;
-              }
-              _switchResult_1 = _xifexpression;
-            }
-            if (!_matched_1) {
-              if (eventDeclaration instanceof OrGateDefinition) {
-                _matched_1=true;
-                OrGate _xifexpression = null;
-                boolean _containsTrueEvent = inputs.containsTrueEvent();
-                if (_containsTrueEvent) {
-                  return this.trueEvent;
-                } else {
-                  OrGate _xifexpression_1 = null;
-                  boolean _isEmpty = inputs.isEmpty();
-                  if (_isEmpty) {
-                    return this.falseEvent;
-                  } else {
-                    OrGate _xifexpression_2 = null;
-                    boolean _containsExactlyOneRandomEvent = inputs.containsExactlyOneRandomEvent();
-                    if (_containsExactlyOneRandomEvent) {
-                      return inputs.toSingleRandomEvent();
-                    } else {
-                      _xifexpression_2 = this._ftFactory.createOrGate();
-                    }
-                    _xifexpression_1 = _xifexpression_2;
-                  }
-                  _xifexpression = _xifexpression_1;
-                }
-                _switchResult_1 = _xifexpression;
-              }
-            }
-            if (!_matched_1) {
-              if (eventDeclaration instanceof KOfMGateDefinition) {
-                _matched_1=true;
-                Gate _xblockexpression_2 = null;
-                {
-                  int _count = inputs.getCount();
-                  int _k = ((KOfMGateDefinition)eventDeclaration).getK();
-                  int _multiply = (_count * _k);
-                  int _m = ((KOfMGateDefinition)eventDeclaration).getM();
-                  final int requiredTrueInputs = (_multiply / _m);
-                  int _trueEventCount = inputs.getTrueEventCount();
-                  final int k = (requiredTrueInputs - _trueEventCount);
-                  final int m = inputs.getVariableEventCount();
-                  Gate _xifexpression = null;
-                  if ((k == 0)) {
-                    return this.trueEvent;
-                  } else {
-                    Gate _xifexpression_1 = null;
-                    if ((k > m)) {
-                      return this.falseEvent;
-                    } else {
-                      Gate _xifexpression_2 = null;
-                      boolean _containsExactlyOneRandomEvent = inputs.containsExactlyOneRandomEvent();
-                      if (_containsExactlyOneRandomEvent) {
-                        return inputs.toSingleRandomEvent();
-                      } else {
-                        Gate _xifexpression_3 = null;
-                        if ((k == 1)) {
-                          _xifexpression_3 = this._ftFactory.createOrGate();
-                        } else {
-                          Gate _xifexpression_4 = null;
-                          if ((k == m)) {
-                            _xifexpression_4 = this._ftFactory.createAndGate();
-                          } else {
-                            KOfMGate _xblockexpression_3 = null;
-                            {
-                              final KOfMGate kOfMGate = this._ftFactory.createKOfMGate();
-                              kOfMGate.setK(k);
-                              _xblockexpression_3 = kOfMGate;
-                            }
-                            _xifexpression_4 = _xblockexpression_3;
-                          }
-                          _xifexpression_3 = _xifexpression_4;
-                        }
-                        _xifexpression_2 = _xifexpression_3;
-                      }
-                      _xifexpression_1 = _xifexpression_2;
-                    }
-                    _xifexpression = _xifexpression_1;
-                  }
-                  _xblockexpression_2 = _xifexpression;
-                }
-                _switchResult_1 = _xblockexpression_2;
-              }
-            }
-            if (!_matched_1) {
-              throw new IllegalArgumentException(("Unknown gate definition: " + eventDeclaration));
-            }
-            final Gate gate = _switchResult_1;
-            gate.getInputEvents().addAll(inputs.getRandomEvents());
-            _xblockexpression_1 = gate;
-          }
-          _switchResult = _xblockexpression_1;
-        }
-      }
-      if (!_matched) {
-        throw new IllegalArgumentException(("Unknown event declaration: " + eventDeclaration));
-      }
-      final RandomEvent event = _switchResult;
-      event.setName(eventName);
-      _xblockexpression = event;
-    }
-    return _xblockexpression;
-  }
-  
-  protected Event materializeConnectedEvent(final Component component, final InputEvent inputEvent) {
-    Event _xblockexpression = null;
-    {
-      boolean _isMultiple = inputEvent.isMultiple();
-      if (_isMultiple) {
-        StringConcatenation _builder = new StringConcatenation();
-        _builder.append("Cannot materialize multiple nput ");
-        String _name = component.getName();
-        _builder.append(_name);
-        _builder.append("_");
-        String _name_1 = inputEvent.getName();
-        _builder.append(_name_1);
-        throw new IllegalArgumentException(_builder.toString());
-      }
-      final Input input = this.findInput(component, inputEvent);
-      final EList<Connection> incomingConnections = input.getIncomingConnections();
-      int _size = incomingConnections.size();
-      boolean _notEquals = (_size != 1);
-      if (_notEquals) {
-        StringConcatenation _builder_1 = new StringConcatenation();
-        _builder_1.append("Input ");
-        String _name_2 = component.getName();
-        _builder_1.append(_name_2);
-        _builder_1.append("_");
-        String _name_3 = inputEvent.getName();
-        _builder_1.append(_name_3);
-        _builder_1.append(" has ");
-        int _size_1 = incomingConnections.size();
-        _builder_1.append(_size_1);
-        _builder_1.append(" connections instead of 1");
-        throw new IllegalArgumentException(_builder_1.toString());
-      }
-      final Output output = IterableExtensions.<Connection>head(incomingConnections).getOutput();
-      _xblockexpression = this.getOrMaterialize(output.getComponent(), output.getEventDeclaration());
-    }
-    return _xblockexpression;
-  }
-  
-  protected EventCollection collectInputs(final Component component, final GateDefinition gateDefinition) {
-    EventCollection _xblockexpression = null;
-    {
-      final EventCollection.Builder builder = EventCollection.builder();
-      EList<EventDeclaration> _inputEvents = gateDefinition.getInputEvents();
-      for (final EventDeclaration inputEventDeclaration : _inputEvents) {
-        boolean _matched = false;
-        if (inputEventDeclaration instanceof InputEvent) {
-          boolean _isMultiple = ((InputEvent)inputEventDeclaration).isMultiple();
-          if (_isMultiple) {
-            _matched=true;
-            final EventCollection materializedEvents = this.getOrMaterializeConnectedEvents(component, ((InputEvent)inputEventDeclaration));
-            builder.addAll(materializedEvents);
-          }
-        }
-        if (!_matched) {
-          builder.add(this.getOrMaterialize(component, inputEventDeclaration));
-        }
-      }
-      _xblockexpression = builder.build();
-    }
-    return _xblockexpression;
-  }
-  
-  protected EventCollection getOrMaterializeConnectedEvents(final Component component, final InputEvent inputEvent) {
-    EventCollection _xblockexpression = null;
-    {
-      final EventMaterializer.EventKey<InputEvent> inputKey = new EventMaterializer.EventKey<InputEvent>(component, inputEvent);
-      this.pushEventKey(inputKey);
-      EventCollection _xtrycatchfinallyexpression = null;
-      try {
-        EventCollection _xblockexpression_1 = null;
-        {
-          EventCollection eventCollection = this.multipleInputCache.get(inputKey);
-          if ((eventCollection == null)) {
-            eventCollection = this.materializeConnectedEvents(component, inputEvent);
-            this.multipleInputCache.put(inputKey, eventCollection);
-          }
-          _xblockexpression_1 = eventCollection;
-        }
-        _xtrycatchfinallyexpression = _xblockexpression_1;
-      } finally {
-        this.popEventKey(inputKey);
-      }
-      _xblockexpression = _xtrycatchfinallyexpression;
-    }
-    return _xblockexpression;
-  }
-  
-  protected EventCollection materializeConnectedEvents(final Component component, final InputEvent inputEvent) {
-    EventCollection _xblockexpression = null;
-    {
-      final Input input = this.findInput(component, inputEvent);
-      final EventCollection.Builder builder = EventCollection.builder();
-      EList<Connection> _incomingConnections = input.getIncomingConnections();
-      for (final Connection connection : _incomingConnections) {
-        boolean _isCurrentlyConnected = CftExtensions.isCurrentlyConnected(connection);
-        if (_isCurrentlyConnected) {
-          final Event materializedEvent = this.getOrMaterialize(connection.getOutput());
-          builder.add(materializedEvent);
-        }
-      }
-      _xblockexpression = builder.build();
-    }
-    return _xblockexpression;
-  }
-  
-  protected Input findInput(final Component component, final InputEvent inputEvent) {
-    final Function1<Input, Boolean> _function = (Input it) -> {
-      InputEvent _inputEvent = it.getInputEvent();
-      return Boolean.valueOf(Objects.equal(_inputEvent, inputEvent));
-    };
-    final Input input = IterableExtensions.<Input>findFirst(component.getInputs(), _function);
-    if ((input == null)) {
-      StringConcatenation _builder = new StringConcatenation();
-      _builder.append("No input ");
-      _builder.append(inputEvent);
-      _builder.append(" in component ");
-      _builder.append(component);
-      throw new IllegalArgumentException(_builder.toString());
-    }
-    return input;
-  }
-  
-  private void pushEventKey(final EventMaterializer.EventKey<? extends EventDeclaration> eventKey) {
-    boolean _add = this.path.add(eventKey);
-    boolean _not = (!_add);
-    if (_not) {
-      StringConcatenation _builder = new StringConcatenation();
-      _builder.append("Circular dependency [");
-      {
-        for(final EventMaterializer.EventKey<? extends EventDeclaration> ancestor : this.path) {
-          _builder.append(ancestor);
-          _builder.append(", ");
-        }
-      }
-      _builder.append(eventKey);
-      _builder.append("] detected");
-      throw new IllegalStateException(_builder.toString());
-    }
-  }
-  
-  private boolean popEventKey(final EventMaterializer.EventKey<? extends EventDeclaration> eventKey) {
-    return this.path.remove(eventKey);
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/FaultTreeBuilder.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/FaultTreeBuilder.java
deleted file mode 100644
index 9b2dfd76..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/cft2ft/FaultTreeBuilder.java
+++ /dev/null
@@ -1,57 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.cft2ft;
-
-import com.google.common.base.Objects;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FtFactory;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
-import java.util.Collection;
-import org.eclipse.emf.common.util.EList;
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.xtend.lib.annotations.Accessors;
-import org.eclipse.xtext.xbase.lib.Pure;
-
-@SuppressWarnings("all")
-public class FaultTreeBuilder {
-  @Accessors
-  private final FaultTree faultTree = FtFactory.eINSTANCE.createFaultTree();
-  
-  public void addTopLevel(final RandomEvent event) {
-    RandomEvent _topEvent = this.faultTree.getTopEvent();
-    boolean _tripleNotEquals = (_topEvent != null);
-    if (_tripleNotEquals) {
-      throw new IllegalStateException("Top event was already set");
-    }
-    this.add(event);
-    this.faultTree.setTopEvent(event);
-  }
-  
-  protected void add(final RandomEvent event) {
-    EObject _eContainer = this.faultTree.eContainer();
-    boolean _equals = Objects.equal(_eContainer, this.faultTree);
-    if (_equals) {
-      return;
-    }
-    EObject _eContainer_1 = this.faultTree.eContainer();
-    boolean _tripleNotEquals = (_eContainer_1 != null);
-    if (_tripleNotEquals) {
-      throw new IllegalStateException("Event is already in a different fault tree");
-    }
-    EList<RandomEvent> _events = this.faultTree.getEvents();
-    _events.add(event);
-    if ((event instanceof Gate)) {
-      this.addAll(((Gate)event).getInputEvents());
-    }
-  }
-  
-  protected void addAll(final Collection<RandomEvent> events) {
-    for (final RandomEvent event : events) {
-      this.add(event);
-    }
-  }
-  
-  @Pure
-  public FaultTree getFaultTree() {
-    return this.faultTree;
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.ComponentFaultTreeTrace.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.ComponentFaultTreeTrace.xtendbin
deleted file mode 100644
index 028440a8..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.ComponentFaultTreeTrace.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.ComponentInstanceTrace.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.ComponentInstanceTrace.xtendbin
deleted file mode 100644
index d542ba2d..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.ComponentInstanceTrace.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.ComponentNameGenerator.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.ComponentNameGenerator.xtendbin
deleted file mode 100644
index 949da0cd..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.ComponentNameGenerator.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.Ecore2CftTransformation.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.Ecore2CftTransformation.xtendbin
deleted file mode 100644
index 82c045e2..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.Ecore2CftTransformation.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.InputTrace.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.InputTrace.xtendbin
deleted file mode 100644
index ffd70c04..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.InputTrace.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.LookupHandler.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.LookupHandler.xtendbin
deleted file mode 100644
index 418c71d4..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.LookupHandler.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.MappingHandler.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.MappingHandler.xtendbin
deleted file mode 100644
index 86c0d704..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.MappingHandler.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.MappingQueries.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.MappingQueries.xtendbin
deleted file mode 100644
index c9dda5c4..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.MappingQueries.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.gitignore
deleted file mode 100644
index 377aa872..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/.gitignore
+++ /dev/null
@@ -1,25 +0,0 @@
-/.ComponentFaultTreeTrace.java._trace
-/.ComponentInstanceTrace.java._trace
-/.InputTrace.java._trace
-/.LookupHandler.java._trace
-/.MappingHandler.java._trace
-/.MappingQueries.java._trace
-/.CftTransformation.java._trace
-/.Ecore2CftTransformation.java._trace
-/.ComponentNameGenerator.java._trace
-/.ComponentFaultTreeTrace.xtendbin
-/.ComponentInstanceTrace.xtendbin
-/.ComponentNameGenerator.xtendbin
-/.Ecore2CftTransformation.xtendbin
-/.InputTrace.xtendbin
-/.LookupHandler.xtendbin
-/.MappingHandler.xtendbin
-/.MappingQueries.xtendbin
-/ComponentFaultTreeTrace.java
-/ComponentInstanceTrace.java
-/ComponentNameGenerator.java
-/Ecore2CftTransformation.java
-/InputTrace.java
-/LookupHandler.java
-/MappingHandler.java
-/MappingQueries.java
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.java
deleted file mode 100644
index ddcf9036..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentFaultTreeTrace.java
+++ /dev/null
@@ -1,77 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft;
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.ComponentInstanceTrace;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.ComponentNameGenerator;
-import java.util.Map;
-import org.eclipse.emf.common.util.EList;
-import org.eclipse.viatra.query.runtime.api.IPatternMatch;
-import org.eclipse.xtend.lib.annotations.Accessors;
-import org.eclipse.xtext.xbase.lib.CollectionLiterals;
-import org.eclipse.xtext.xbase.lib.IterableExtensions;
-import org.eclipse.xtext.xbase.lib.Pure;
-
-@SuppressWarnings("all")
-public class ComponentFaultTreeTrace {
-  @Accessors
-  private final ComponentFaultTree componentFaultTree = CftFactory.eINSTANCE.createComponentFaultTree();
-  
-  private final ComponentNameGenerator nameGenerator = new ComponentNameGenerator();
-  
-  private final Map<IPatternMatch, ComponentInstanceTrace> componentInstancesMap = CollectionLiterals.<IPatternMatch, ComponentInstanceTrace>newHashMap();
-  
-  public ComponentInstanceTrace instantiateComponent(final IPatternMatch patternMatch, final ComponentDefinition componenDefinition) {
-    return this.instantiateComponent(patternMatch, componenDefinition, Modality.MUST, false);
-  }
-  
-  public ComponentInstanceTrace instantiateComponent(final IPatternMatch patternMatch, final ComponentDefinition componenDefinition, final Modality exists, final boolean allowMultiple) {
-    ComponentInstanceTrace _xblockexpression = null;
-    {
-      boolean _containsKey = this.componentInstancesMap.containsKey(patternMatch);
-      if (_containsKey) {
-        throw new IllegalArgumentException(("Already instantiated component for match: " + patternMatch));
-      }
-      final ComponentInstanceTrace componentTrace = new ComponentInstanceTrace(this.componentFaultTree, componenDefinition, this.nameGenerator, exists, allowMultiple);
-      this.componentInstancesMap.put(patternMatch, componentTrace);
-      _xblockexpression = componentTrace;
-    }
-    return _xblockexpression;
-  }
-  
-  public void setTopLevel(final ComponentInstanceTrace trace) {
-    Output _topEvent = this.componentFaultTree.getTopEvent();
-    boolean _tripleNotEquals = (_topEvent != null);
-    if (_tripleNotEquals) {
-      throw new IllegalArgumentException("Top level component already set");
-    }
-    final EList<Output> outputs = trace.getOutputs();
-    int _size = outputs.size();
-    boolean _tripleNotEquals_1 = (_size != 1);
-    if (_tripleNotEquals_1) {
-      int _size_1 = outputs.size();
-      String _plus = ("Top level component must have 1 output, got " + Integer.valueOf(_size_1));
-      String _plus_1 = (_plus + 
-        " instead");
-      throw new IllegalArgumentException(_plus_1);
-    }
-    boolean _appearsExactlyOnce = trace.appearsExactlyOnce();
-    boolean _not = (!_appearsExactlyOnce);
-    if (_not) {
-      throw new IllegalArgumentException("Top level must appear in the fault tree exactly once");
-    }
-    this.componentFaultTree.setTopEvent(IterableExtensions.<Output>head(outputs));
-  }
-  
-  public ComponentInstanceTrace lookup(final IPatternMatch patternMatch) {
-    return this.componentInstancesMap.get(patternMatch);
-  }
-  
-  @Pure
-  public ComponentFaultTree getComponentFaultTree() {
-    return this.componentFaultTree;
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentInstanceTrace.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentInstanceTrace.java
deleted file mode 100644
index 4034bdf3..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentInstanceTrace.java
+++ /dev/null
@@ -1,77 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft;
-
-import com.google.common.collect.Maps;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.EventDeclaration;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.util.CftExtensions;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.ComponentNameGenerator;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.InputTrace;
-import java.util.Map;
-import org.eclipse.emf.common.util.EList;
-
-@SuppressWarnings("all")
-public class ComponentInstanceTrace {
-  private final Component componentInstance = CftFactory.eINSTANCE.createComponent();
-  
-  private final Map<InputEvent, InputTrace> inputEventsMap;
-  
-  private final Map<EventDeclaration, Output> outputEventsMap;
-  
-  protected ComponentInstanceTrace(final ComponentFaultTree faultTree, final ComponentDefinition componentDefinition, final ComponentNameGenerator nameGenerator, final Modality exists, final boolean multipleAllowed) {
-    this.componentInstance.setComponentDefinition(componentDefinition);
-    this.componentInstance.setName(nameGenerator.nextName(componentDefinition));
-    this.componentInstance.setExists(exists);
-    this.componentInstance.setMultipleAllowed(multipleAllowed);
-    this.inputEventsMap = Maps.<InputEvent, InputTrace>newHashMapWithExpectedSize(componentDefinition.getInputEvents().size());
-    EList<InputEvent> _inputEvents = componentDefinition.getInputEvents();
-    for (final InputEvent inputEvent : _inputEvents) {
-      {
-        final InputTrace inputTrace = new InputTrace(this.componentInstance, inputEvent);
-        this.inputEventsMap.put(inputEvent, inputTrace);
-      }
-    }
-    this.outputEventsMap = Maps.<EventDeclaration, Output>newHashMapWithExpectedSize(componentDefinition.getOutputEvents().size());
-    EList<EventDeclaration> _outputEvents = componentDefinition.getOutputEvents();
-    for (final EventDeclaration outputEvent : _outputEvents) {
-      {
-        final Output output = CftFactory.eINSTANCE.createOutput();
-        output.setEventDeclaration(outputEvent);
-        EList<Output> _outputs = this.componentInstance.getOutputs();
-        _outputs.add(output);
-        this.outputEventsMap.put(outputEvent, output);
-      }
-    }
-    EList<Component> _components = faultTree.getComponents();
-    _components.add(this.componentInstance);
-  }
-  
-  public void assign(final EventDeclaration inputEvent, final ComponentInstanceTrace sourceComponent, final EventDeclaration outputEvent) {
-    this.assign(inputEvent, sourceComponent, outputEvent, Modality.MUST);
-  }
-  
-  public void assign(final EventDeclaration inputEvent, final ComponentInstanceTrace sourceComponent, final EventDeclaration outputEvent, final Modality exists) {
-    final InputTrace inputTrace = this.inputEventsMap.get(inputEvent);
-    if ((inputTrace == null)) {
-      throw new IllegalArgumentException(("Unknown input: " + inputEvent));
-    }
-    final Output output = sourceComponent.outputEventsMap.get(outputEvent);
-    if ((output == null)) {
-      throw new IllegalArgumentException(("Unknown output: " + outputEvent));
-    }
-    inputTrace.assign(output, exists);
-  }
-  
-  protected EList<Output> getOutputs() {
-    return this.componentInstance.getOutputs();
-  }
-  
-  protected boolean appearsExactlyOnce() {
-    return CftExtensions.appearsExactlyOnce(this.componentInstance);
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentNameGenerator.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentNameGenerator.java
deleted file mode 100644
index e7dca003..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/ComponentNameGenerator.java
+++ /dev/null
@@ -1,29 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft;
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition;
-import java.util.Map;
-import org.eclipse.xtext.xbase.lib.CollectionLiterals;
-
-@SuppressWarnings("all")
-public class ComponentNameGenerator {
-  private static final String DEFAULT_NAME = "__unnamed";
-  
-  private final Map<ComponentDefinition, Integer> instanceCounts = CollectionLiterals.<ComponentDefinition, Integer>newHashMap();
-  
-  public String nextName(final ComponentDefinition componentDefinition) {
-    String _xblockexpression = null;
-    {
-      final Integer instanceCount = this.instanceCounts.getOrDefault(componentDefinition, Integer.valueOf(0));
-      this.instanceCounts.put(componentDefinition, Integer.valueOf(((instanceCount).intValue() + 1)));
-      String _elvis = null;
-      String _name = componentDefinition.getName();
-      if (_name != null) {
-        _elvis = _name;
-      } else {
-        _elvis = ComponentNameGenerator.DEFAULT_NAME;
-      }
-      _xblockexpression = (_elvis + instanceCount);
-    }
-    return _xblockexpression;
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/Ecore2CftTransformation.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/Ecore2CftTransformation.java
deleted file mode 100644
index a63c8e78..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/Ecore2CftTransformation.java
+++ /dev/null
@@ -1,41 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft;
-
-import com.google.common.collect.ImmutableList;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentFaultTree;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.ComponentFaultTreeTrace;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.MappingHandler;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.MappingQueries;
-import java.util.List;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
-import org.eclipse.xtext.xbase.lib.Functions.Function1;
-import org.eclipse.xtext.xbase.lib.ListExtensions;
-
-@SuppressWarnings("all")
-public class Ecore2CftTransformation {
-  private final List<MappingHandler> mappingHandlers;
-  
-  public Ecore2CftTransformation(final TransformationDefinition transformationDefinition, final ViatraQueryEngine viatraQueryEngine) {
-    final MappingQueries mappingQueries = new MappingQueries(transformationDefinition, viatraQueryEngine);
-    final Function1<MappingDefinition, MappingHandler> _function = (MappingDefinition mappingDefinition) -> {
-      return new MappingHandler(mappingDefinition, mappingQueries);
-    };
-    this.mappingHandlers = ImmutableList.<MappingHandler>copyOf(ListExtensions.<MappingDefinition, MappingHandler>map(transformationDefinition.getMappingDefinitions(), _function));
-  }
-  
-  public ComponentFaultTree createComponentFaultTree() {
-    ComponentFaultTree _xblockexpression = null;
-    {
-      final ComponentFaultTreeTrace trace = new ComponentFaultTreeTrace();
-      for (final MappingHandler handler : this.mappingHandlers) {
-        handler.instantiateComponents(trace);
-      }
-      for (final MappingHandler handler_1 : this.mappingHandlers) {
-        handler_1.instantiateConnections(trace);
-      }
-      _xblockexpression = trace.getComponentFaultTree();
-    }
-    return _xblockexpression;
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java
deleted file mode 100644
index 2b30566f..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/InputTrace.java
+++ /dev/null
@@ -1,43 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft;
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.CftFactory;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Component;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Connection;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Input;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.InputEvent;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Modality;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.Output;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.util.CftExtensions;
-import java.util.Map;
-import org.eclipse.emf.common.util.EList;
-import org.eclipse.xtext.xbase.lib.CollectionLiterals;
-
-@SuppressWarnings("all")
-public class InputTrace {
-  private final Input input = CftFactory.eINSTANCE.createInput();
-  
-  private final Map<Output, Connection> connectionsMap = CollectionLiterals.<Output, Connection>newHashMap();
-  
-  protected InputTrace(final Component component, final InputEvent inputEvent) {
-    this.input.setInputEvent(inputEvent);
-    EList<Input> _inputs = component.getInputs();
-    _inputs.add(this.input);
-  }
-  
-  public void assign(final Output output, final Modality exists) {
-    final Connection connection = this.connectionsMap.get(output);
-    if ((connection == null)) {
-      final Connection newConnection = CftFactory.eINSTANCE.createConnection();
-      newConnection.setOutput(output);
-      newConnection.setExists(exists);
-      EList<Connection> _incomingConnections = this.input.getIncomingConnections();
-      _incomingConnections.add(newConnection);
-      this.connectionsMap.put(output, newConnection);
-    } else {
-      boolean _isMoreConcreteThan = CftExtensions.isMoreConcreteThan(exists, connection.getExists());
-      if (_isMoreConcreteThan) {
-        connection.setExists(exists);
-      }
-    }
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/LookupHandler.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/LookupHandler.java
deleted file mode 100644
index e155aac8..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/LookupHandler.java
+++ /dev/null
@@ -1,84 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft;
-
-import com.google.common.base.Objects;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingParameter;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.ComponentFaultTreeTrace;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.ComponentInstanceTrace;
-import org.eclipse.emf.ecore.EObject;
-import org.eclipse.viatra.query.patternlanguage.emf.vql.Pattern;
-import org.eclipse.viatra.query.runtime.api.IPatternMatch;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
-import org.eclipse.xtext.xbase.lib.Conversions;
-
-@SuppressWarnings("all")
-public class LookupHandler {
-  private final int[] argumentIndices;
-  
-  private final ViatraQueryMatcher<? extends IPatternMatch> lookedUpMatcher;
-  
-  public LookupHandler(final MappingDefinition mappingDefinition, final LookupDefinition lookupDefinition, final ViatraQueryMatcher<? extends IPatternMatch> lookedUpMatcher) {
-    EObject _eContainer = lookupDefinition.eContainer();
-    boolean _notEquals = (!Objects.equal(_eContainer, mappingDefinition));
-    if (_notEquals) {
-      throw new IllegalArgumentException("lookupDefinition must be contained in mappingDefinition");
-    }
-    final int argumentCount = lookupDefinition.getArguments().size();
-    int _length = ((Object[])Conversions.unwrapArray(lookedUpMatcher.getParameterNames(), Object.class)).length;
-    boolean _notEquals_1 = (argumentCount != _length);
-    if (_notEquals_1) {
-      MappingDefinition _mapping = lookupDefinition.getMapping();
-      Pattern _pattern = null;
-      if (_mapping!=null) {
-        _pattern=_mapping.getPattern();
-      }
-      String _name = null;
-      if (_pattern!=null) {
-        _name=_pattern.getName();
-      }
-      String _plus = ("lookupDefinition (name: " + _name);
-      String _plus_1 = (_plus + 
-        ") must have as many arguments as lookedUpMatcher (name: ");
-      String _patternName = lookedUpMatcher.getPatternName();
-      String _plus_2 = (_plus_1 + _patternName);
-      String _plus_3 = (_plus_2 + ")");
-      throw new IllegalArgumentException(_plus_3);
-    }
-    this.argumentIndices = new int[argumentCount];
-    for (int i = 0; (i < argumentCount); i++) {
-      {
-        final MappingParameter argument = lookupDefinition.getArguments().get(i);
-        final int argumentIndex = mappingDefinition.getParameters().indexOf(argument);
-        this.argumentIndices[i] = argumentIndex;
-      }
-    }
-    this.lookedUpMatcher = lookedUpMatcher;
-  }
-  
-  public ComponentInstanceTrace lookupForMatch(final ComponentFaultTreeTrace faultTreeTrace, final IPatternMatch match) {
-    ComponentInstanceTrace _xblockexpression = null;
-    {
-      final IPatternMatch lookedUpMatch = this.createLookedUpMatch(match);
-      _xblockexpression = faultTreeTrace.lookup(lookedUpMatch);
-    }
-    return _xblockexpression;
-  }
-  
-  private IPatternMatch createLookedUpMatch(final IPatternMatch match) {
-    IPatternMatch _xblockexpression = null;
-    {
-      final IPatternMatch lookedUpMatch = this.lookedUpMatcher.newEmptyMatch();
-      final int argumentCount = this.argumentIndices.length;
-      for (int i = 0; (i < argumentCount); i++) {
-        {
-          final int argumentIndex = this.argumentIndices[i];
-          Object argumentValue = match.get(argumentIndex);
-          lookedUpMatch.set(i, argumentValue);
-        }
-      }
-      _xblockexpression = lookedUpMatch;
-    }
-    return _xblockexpression;
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingHandler.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingHandler.java
deleted file mode 100644
index 41703289..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingHandler.java
+++ /dev/null
@@ -1,146 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft;
-
-import com.google.common.collect.ImmutableMap;
-import com.google.common.collect.Iterables;
-import com.google.common.collect.Maps;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.Assignment;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.ComponentInstance;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.EventReference;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.Variable;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.cft.ComponentDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.ComponentFaultTreeTrace;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.ComponentInstanceTrace;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.LookupHandler;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.MappingQueries;
-import java.util.HashMap;
-import java.util.HashSet;
-import java.util.Map;
-import java.util.Set;
-import java.util.function.Consumer;
-import org.eclipse.emf.common.util.EList;
-import org.eclipse.viatra.query.runtime.api.IPatternMatch;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
-import org.eclipse.xtext.xbase.lib.CollectionLiterals;
-import org.eclipse.xtext.xbase.lib.Functions.Function1;
-import org.eclipse.xtext.xbase.lib.IterableExtensions;
-
-@SuppressWarnings("all")
-public class MappingHandler {
-  private final ViatraQueryMatcher<? extends IPatternMatch> matcher;
-  
-  private final MappingDefinition mappingDefinition;
-  
-  private final Map<LookupDefinition, LookupHandler> lookupHandlers;
-  
-  public MappingHandler(final MappingDefinition mappingDefinition, final MappingQueries mappingQueries) {
-    this.matcher = mappingQueries.getMatcher(mappingDefinition);
-    this.mappingDefinition = mappingDefinition;
-    final HashSet<Variable> variables = CollectionLiterals.<Variable>newHashSet();
-    EList<Assignment> _assignments = mappingDefinition.getAssignments();
-    for (final Assignment assignment : _assignments) {
-      {
-        Variable _component = assignment.getInput().getComponent();
-        variables.add(_component);
-        Variable _component_1 = assignment.getOutput().getComponent();
-        variables.add(_component_1);
-      }
-    }
-    final Function1<LookupDefinition, LookupDefinition> _function = (LookupDefinition it) -> {
-      return it;
-    };
-    final Function1<LookupDefinition, LookupHandler> _function_1 = (LookupDefinition lookupDefinition) -> {
-      return mappingQueries.createLookupHandler(mappingDefinition, lookupDefinition);
-    };
-    this.lookupHandlers = ImmutableMap.<LookupDefinition, LookupHandler>copyOf(IterableExtensions.<LookupDefinition, LookupDefinition, LookupHandler>toMap(Iterables.<LookupDefinition>filter(variables, LookupDefinition.class), _function, _function_1));
-  }
-  
-  public void instantiateComponents(final ComponentFaultTreeTrace faultTreeTrace) {
-    boolean _hasComponentInstace = this.hasComponentInstace();
-    boolean _not = (!_hasComponentInstace);
-    if (_not) {
-      return;
-    }
-    final Consumer<IPatternMatch> _function = (IPatternMatch match) -> {
-      final ComponentInstanceTrace componentTrace = faultTreeTrace.instantiateComponent(match, this.getComponentDefinition());
-      boolean _isTopLevel = this.isTopLevel();
-      if (_isTopLevel) {
-        faultTreeTrace.setTopLevel(componentTrace);
-      }
-    };
-    this.matcher.forEachMatch(_function);
-  }
-  
-  public void instantiateConnections(final ComponentFaultTreeTrace faultTreeTrace) {
-    boolean _hasConnections = this.hasConnections();
-    boolean _not = (!_hasConnections);
-    if (_not) {
-      return;
-    }
-    final Consumer<IPatternMatch> _function = (IPatternMatch match) -> {
-      final Map<Variable, ComponentInstanceTrace> lookedUpComponents = this.lookupComponents(faultTreeTrace, match);
-      EList<Assignment> _assignments = this.mappingDefinition.getAssignments();
-      for (final Assignment assignment : _assignments) {
-        {
-          final EventReference input = assignment.getInput();
-          final ComponentInstanceTrace inputComponent = lookedUpComponents.get(input.getComponent());
-          final EventReference output = assignment.getOutput();
-          final ComponentInstanceTrace outputComponent = lookedUpComponents.get(output.getComponent());
-          if (((inputComponent != null) && (outputComponent != null))) {
-            inputComponent.assign(input.getEvent(), outputComponent, output.getEvent());
-          }
-        }
-      }
-    };
-    this.matcher.forEachMatch(_function);
-  }
-  
-  private Map<Variable, ComponentInstanceTrace> lookupComponents(final ComponentFaultTreeTrace faultTreeTrace, final IPatternMatch match) {
-    HashMap<Variable, ComponentInstanceTrace> _xblockexpression = null;
-    {
-      int _size = this.lookupHandlers.size();
-      int _plus = (_size + 1);
-      final HashMap<Variable, ComponentInstanceTrace> lookedUpComponents = Maps.<Variable, ComponentInstanceTrace>newHashMapWithExpectedSize(_plus);
-      boolean _hasComponentInstace = this.hasComponentInstace();
-      if (_hasComponentInstace) {
-        final ComponentInstanceTrace componentInstance = faultTreeTrace.lookup(match);
-        lookedUpComponents.put(this.mappingDefinition.getComponentInstance(), componentInstance);
-      }
-      Set<Map.Entry<LookupDefinition, LookupHandler>> _entrySet = this.lookupHandlers.entrySet();
-      for (final Map.Entry<LookupDefinition, LookupHandler> pair : _entrySet) {
-        {
-          final ComponentInstanceTrace componentInstance_1 = pair.getValue().lookupForMatch(faultTreeTrace, match);
-          if ((componentInstance_1 != null)) {
-            lookedUpComponents.put(pair.getKey(), componentInstance_1);
-          }
-        }
-      }
-      _xblockexpression = lookedUpComponents;
-    }
-    return _xblockexpression;
-  }
-  
-  private ComponentDefinition getComponentDefinition() {
-    ComponentInstance _componentInstance = this.mappingDefinition.getComponentInstance();
-    ComponentDefinition _componentType = null;
-    if (_componentInstance!=null) {
-      _componentType=_componentInstance.getComponentType();
-    }
-    return _componentType;
-  }
-  
-  private boolean hasComponentInstace() {
-    ComponentDefinition _componentDefinition = this.getComponentDefinition();
-    return (_componentDefinition != null);
-  }
-  
-  private boolean isTopLevel() {
-    return this.mappingDefinition.isTopLevel();
-  }
-  
-  private boolean hasConnections() {
-    boolean _isEmpty = this.mappingDefinition.getAssignments().isEmpty();
-    return (!_isEmpty);
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingQueries.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingQueries.java
deleted file mode 100644
index 6147807e..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ecore2cft/MappingQueries.java
+++ /dev/null
@@ -1,60 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft;
-
-import com.google.common.collect.ImmutableMap;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.LookupDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.MappingDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.components.cftLanguage.TransformationDefinition;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ecore2cft.LookupHandler;
-import java.util.Map;
-import org.eclipse.viatra.query.patternlanguage.emf.specification.SpecificationBuilder;
-import org.eclipse.viatra.query.runtime.api.GenericQueryGroup;
-import org.eclipse.viatra.query.runtime.api.IPatternMatch;
-import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
-import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
-import org.eclipse.xtext.xbase.lib.Conversions;
-import org.eclipse.xtext.xbase.lib.Functions.Function1;
-import org.eclipse.xtext.xbase.lib.IterableExtensions;
-import org.eclipse.xtext.xbase.lib.MapExtensions;
-
-@SuppressWarnings("all")
-public class MappingQueries {
-  private final Map<MappingDefinition, ViatraQueryMatcher<? extends IPatternMatch>> matchersMap;
-  
-  public MappingQueries(final TransformationDefinition transformationDefinition, final ViatraQueryEngine viatraQueryEngine) {
-    final SpecificationBuilder specificationBuilder = new SpecificationBuilder();
-    final Function1<MappingDefinition, MappingDefinition> _function = (MappingDefinition it) -> {
-      return it;
-    };
-    final Function1<MappingDefinition, IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>> _function_1 = (MappingDefinition it) -> {
-      return specificationBuilder.getOrCreateSpecification(it.getPattern());
-    };
-    final Map<MappingDefinition, IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>> querySpecificationsMap = IterableExtensions.<MappingDefinition, MappingDefinition, IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>>toMap(transformationDefinition.getMappingDefinitions(), _function, _function_1);
-    GenericQueryGroup.of(((IQuerySpecification<?>[])Conversions.unwrapArray(querySpecificationsMap.values(), IQuerySpecification.class))).prepare(viatraQueryEngine);
-    final Function1<IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>, ViatraQueryMatcher<? extends IPatternMatch>> _function_2 = (IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> it) -> {
-      return it.getMatcher(viatraQueryEngine);
-    };
-    this.matchersMap = ImmutableMap.<MappingDefinition, ViatraQueryMatcher<? extends IPatternMatch>>copyOf(MapExtensions.<MappingDefinition, IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>>, ViatraQueryMatcher<? extends IPatternMatch>>mapValues(querySpecificationsMap, _function_2));
-  }
-  
-  public ViatraQueryMatcher<? extends IPatternMatch> getMatcher(final MappingDefinition mappingDefinition) {
-    ViatraQueryMatcher<? extends IPatternMatch> _xblockexpression = null;
-    {
-      final ViatraQueryMatcher<? extends IPatternMatch> matcher = this.matchersMap.get(mappingDefinition);
-      if ((matcher == null)) {
-        throw new IllegalArgumentException(("Unknown mapping definition: " + mappingDefinition));
-      }
-      _xblockexpression = matcher;
-    }
-    return _xblockexpression;
-  }
-  
-  public LookupHandler createLookupHandler(final MappingDefinition mappingDefinition, final LookupDefinition lookupDefinition) {
-    LookupHandler _xblockexpression = null;
-    {
-      final ViatraQueryMatcher<? extends IPatternMatch> lookedUpMatcher = this.getMatcher(lookupDefinition.getMapping());
-      _xblockexpression = new LookupHandler(mappingDefinition, lookupDefinition, lookedUpMatcher);
-    }
-    return _xblockexpression;
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.Ft2GalileoTransformation.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.Ft2GalileoTransformation.xtendbin
deleted file mode 100644
index 0956e6e0..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.Ft2GalileoTransformation.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.gitignore
deleted file mode 100644
index f4610b04..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/.gitignore
+++ /dev/null
@@ -1,3 +0,0 @@
-/.Ft2GalileoTransformation.java._trace
-/.Ft2GalileoTransformation.xtendbin
-/Ft2GalileoTransformation.java
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.java
deleted file mode 100644
index 8748825d..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/ft2galileo/Ft2GalileoTransformation.java
+++ /dev/null
@@ -1,188 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.ft2galileo;
-
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.AndGate;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.BasicEvent;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantDistribution;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Distribution;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ExponentialDistribution;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.Gate;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.KOfMGate;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.OrGate;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.RandomEvent;
-import java.util.Arrays;
-import org.eclipse.emf.common.util.EList;
-import org.eclipse.xtend2.lib.StringConcatenation;
-import org.eclipse.xtend2.lib.StringConcatenationClient;
-
-@SuppressWarnings("all")
-public class Ft2GalileoTransformation {
-  public CharSequence toGalileo(final FaultTree faultTree) {
-    StringConcatenation _builder = new StringConcatenation();
-    _builder.append("toplevel \"");
-    String _name = faultTree.getTopEvent().getName();
-    _builder.append(_name);
-    _builder.append("\";");
-    _builder.newLineIfNotEmpty();
-    {
-      EList<RandomEvent> _events = faultTree.getEvents();
-      for(final RandomEvent event : _events) {
-        _builder.append("\"");
-        String _name_1 = event.getName();
-        _builder.append(_name_1);
-        _builder.append("\" ");
-        Object _defineEvent = this.defineEvent(event);
-        _builder.append(_defineEvent);
-        _builder.append(";");
-        _builder.newLineIfNotEmpty();
-      }
-    }
-    return _builder;
-  }
-  
-  protected Object _defineEvent(final BasicEvent basicEvent) {
-    StringConcatenation _builder = new StringConcatenation();
-    StringConcatenationClient _defineDistribution = this.defineDistribution(basicEvent.getDistribution());
-    _builder.append(_defineDistribution);
-    _builder.append(" dorm=0.0");
-    return _builder;
-  }
-  
-  protected StringConcatenationClient _defineDistribution(final ConstantDistribution distribution) {
-    StringConcatenationClient _client = new StringConcatenationClient() {
-      @Override
-      protected void appendTo(StringConcatenationClient.TargetStringConcatenation _builder) {
-        _builder.append("p=");
-        double _p = distribution.getP();
-        _builder.append(_p);
-      }
-    };
-    return _client;
-  }
-  
-  protected StringConcatenationClient _defineDistribution(final ExponentialDistribution distribution) {
-    StringConcatenationClient _client = new StringConcatenationClient() {
-      @Override
-      protected void appendTo(StringConcatenationClient.TargetStringConcatenation _builder) {
-        _builder.append("lambda=");
-        double _lambda = distribution.getLambda();
-        _builder.append(_lambda);
-      }
-    };
-    return _client;
-  }
-  
-  protected StringConcatenationClient _defineDistribution(final Distribution distribution) {
-    throw new IllegalArgumentException(("Unknown distribution: " + distribution));
-  }
-  
-  protected StringConcatenationClient _defineEvent(final Gate gate) {
-    StringConcatenationClient _client = new StringConcatenationClient() {
-      @Override
-      protected void appendTo(StringConcatenationClient.TargetStringConcatenation _builder) {
-        StringConcatenationClient _defineGate = Ft2GalileoTransformation.this.defineGate(gate);
-        _builder.append(_defineGate);
-        _builder.append(" ");
-        {
-          EList<RandomEvent> _inputEvents = gate.getInputEvents();
-          boolean _hasElements = false;
-          for(final RandomEvent input : _inputEvents) {
-            if (!_hasElements) {
-              _hasElements = true;
-            } else {
-              _builder.appendImmediate(" ", "");
-            }
-            _builder.append("\"");
-            String _name = input.getName();
-            _builder.append(_name);
-            _builder.append("\"");
-          }
-        }
-      }
-    };
-    return _client;
-  }
-  
-  protected StringConcatenationClient _defineGate(final AndGate gate) {
-    StringConcatenationClient _client = new StringConcatenationClient() {
-      @Override
-      protected void appendTo(StringConcatenationClient.TargetStringConcatenation _builder) {
-        _builder.append("and");
-      }
-    };
-    return _client;
-  }
-  
-  protected StringConcatenationClient _defineGate(final OrGate gate) {
-    StringConcatenationClient _client = new StringConcatenationClient() {
-      @Override
-      protected void appendTo(StringConcatenationClient.TargetStringConcatenation _builder) {
-        _builder.append("or");
-      }
-    };
-    return _client;
-  }
-  
-  protected StringConcatenationClient _defineGate(final KOfMGate gate) {
-    StringConcatenationClient _client = new StringConcatenationClient() {
-      @Override
-      protected void appendTo(StringConcatenationClient.TargetStringConcatenation _builder) {
-        int _k = gate.getK();
-        _builder.append(_k);
-        _builder.append("of");
-        int _size = gate.getInputEvents().size();
-        _builder.append(_size);
-      }
-    };
-    return _client;
-  }
-  
-  protected StringConcatenationClient _defineGate(final Gate gate) {
-    throw new IllegalArgumentException(("Unknown gate: " + gate));
-  }
-  
-  protected StringConcatenationClient _defineEvent(final RandomEvent randomEvent) {
-    throw new IllegalArgumentException(("Unknown random even: " + randomEvent));
-  }
-  
-  protected Object defineEvent(final RandomEvent basicEvent) {
-    if (basicEvent instanceof BasicEvent) {
-      return _defineEvent((BasicEvent)basicEvent);
-    } else if (basicEvent instanceof Gate) {
-      return _defineEvent((Gate)basicEvent);
-    } else if (basicEvent != null) {
-      return _defineEvent(basicEvent);
-    } else {
-      throw new IllegalArgumentException("Unhandled parameter types: " +
-        Arrays.<Object>asList(basicEvent).toString());
-    }
-  }
-  
-  protected StringConcatenationClient defineDistribution(final Distribution distribution) {
-    if (distribution instanceof ConstantDistribution) {
-      return _defineDistribution((ConstantDistribution)distribution);
-    } else if (distribution instanceof ExponentialDistribution) {
-      return _defineDistribution((ExponentialDistribution)distribution);
-    } else if (distribution != null) {
-      return _defineDistribution(distribution);
-    } else {
-      throw new IllegalArgumentException("Unhandled parameter types: " +
-        Arrays.<Object>asList(distribution).toString());
-    }
-  }
-  
-  protected StringConcatenationClient defineGate(final Gate gate) {
-    if (gate instanceof AndGate) {
-      return _defineGate((AndGate)gate);
-    } else if (gate instanceof KOfMGate) {
-      return _defineGate((KOfMGate)gate);
-    } else if (gate instanceof OrGate) {
-      return _defineGate((OrGate)gate);
-    } else if (gate != null) {
-      return _defineGate(gate);
-    } else {
-      throw new IllegalArgumentException("Unhandled parameter types: " +
-        Arrays.<Object>asList(gate).toString());
-    }
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.ReliabilityResult.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.ReliabilityResult.xtendbin
deleted file mode 100644
index cdaacb58..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.ReliabilityResult.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.StormDftConfiguration.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.StormDftConfiguration.xtendbin
deleted file mode 100644
index 6e1908aa..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.StormDftConfiguration.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.StormDftHandler.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.StormDftHandler.xtendbin
deleted file mode 100644
index 5772b0e7..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.StormDftHandler.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.StormDftSolver.xtendbin b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.StormDftSolver.xtendbin
deleted file mode 100644
index e1c1a8c7..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.StormDftSolver.xtendbin
+++ /dev/null
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.gitignore
deleted file mode 100644
index 8a74c101..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.gitignore
+++ /dev/null
@@ -1,20 +0,0 @@
-/.StormDftSolver.java._trace
-/.StormDftConfiguration.java._trace
-/.StormDftMttfConfiguration.java._trace
-/.FtAnalysisObjective.java._trace
-/.ApproximationHeuristic.java._trace
-/.StormDftHandler.java._trace
-/.StormDftException.java._trace
-/.ReliabilityModelSolution.java._trace
-/.ReliabilityResult.java._trace
-/.ReliabilityResult.xtendbin
-/.StormDftConfiguration.xtendbin
-/.StormDftHandler.xtendbin
-/.StormDftSolver.xtendbin
-/ApproximationHeuristic.java
-/FtAnalysisObjective.java
-/ReliabilityResult.java
-/StormDftConfiguration.java
-/StormDftException.java
-/StormDftHandler.java
-/StormDftSolver.java
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ApproximationHeuristic.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ApproximationHeuristic.java
deleted file mode 100644
index 822d4f36..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ApproximationHeuristic.java
+++ /dev/null
@@ -1,8 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;
-
-@SuppressWarnings("all")
-public enum ApproximationHeuristic {
-  NONE,
-  
-  DEPTH;
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/FtAnalysisObjective.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/FtAnalysisObjective.java
deleted file mode 100644
index 528ada42..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/FtAnalysisObjective.java
+++ /dev/null
@@ -1,14 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;
-
-@SuppressWarnings("all")
-public abstract class FtAnalysisObjective {
-  public static final class TimeBound extends FtAnalysisObjective {
-    public double timeBound = 0;
-  }
-  
-  public static final FtAnalysisObjective MTTF = new FtAnalysisObjective() {
-  };
-  
-  private FtAnalysisObjective() {
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ReliabilityResult.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ReliabilityResult.java
deleted file mode 100644
index c8c8b000..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ReliabilityResult.java
+++ /dev/null
@@ -1,156 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;
-
-import org.eclipse.xtend.lib.annotations.Data;
-import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor;
-import org.eclipse.xtext.xbase.lib.Pure;
-import org.eclipse.xtext.xbase.lib.util.ToStringBuilder;
-
-@SuppressWarnings("all")
-public abstract class ReliabilityResult {
-  @Data
-  public static final class Solution extends ReliabilityResult {
-    private final double lowerBound;
-    
-    private final double upperBound;
-    
-    public Solution(final double value) {
-      this(value, value);
-    }
-    
-    public Solution(final double lowerBound, final double upperBound) {
-      if ((lowerBound > upperBound)) {
-        throw new IllegalArgumentException("lowerBound must not be larger than upperBound");
-      }
-      this.lowerBound = lowerBound;
-      this.upperBound = upperBound;
-    }
-    
-    @Override
-    public ReliabilityResult.Solution getOrThrow() {
-      return this;
-    }
-    
-    @Override
-    @Pure
-    public int hashCode() {
-      final int prime = 31;
-      int result = 1;
-      result = prime * result + (int) (Double.doubleToLongBits(this.lowerBound) ^ (Double.doubleToLongBits(this.lowerBound) >>> 32));
-      return prime * result + (int) (Double.doubleToLongBits(this.upperBound) ^ (Double.doubleToLongBits(this.upperBound) >>> 32));
-    }
-    
-    @Override
-    @Pure
-    public boolean equals(final Object obj) {
-      if (this == obj)
-        return true;
-      if (obj == null)
-        return false;
-      if (getClass() != obj.getClass())
-        return false;
-      ReliabilityResult.Solution other = (ReliabilityResult.Solution) obj;
-      if (Double.doubleToLongBits(other.lowerBound) != Double.doubleToLongBits(this.lowerBound))
-        return false; 
-      if (Double.doubleToLongBits(other.upperBound) != Double.doubleToLongBits(this.upperBound))
-        return false; 
-      return true;
-    }
-    
-    @Override
-    @Pure
-    public String toString() {
-      return new ToStringBuilder(this)
-        .addAllFields()
-        .toString();
-    }
-    
-    @Pure
-    public double getLowerBound() {
-      return this.lowerBound;
-    }
-    
-    @Pure
-    public double getUpperBound() {
-      return this.upperBound;
-    }
-  }
-  
-  @Data
-  public static final class Unknown extends ReliabilityResult {
-    private final String message;
-    
-    private final Throwable cause;
-    
-    @FinalFieldsConstructor
-    public Unknown(final String message, final Throwable cause) {
-      super();
-      this.message = message;
-      this.cause = cause;
-    }
-    
-    public Unknown(final String message) {
-      this(message, null);
-    }
-    
-    @Override
-    public ReliabilityResult.Solution getOrThrow() {
-      throw new RuntimeException(this.message, this.cause);
-    }
-    
-    @Override
-    @Pure
-    public int hashCode() {
-      final int prime = 31;
-      int result = 1;
-      result = prime * result + ((this.message== null) ? 0 : this.message.hashCode());
-      return prime * result + ((this.cause== null) ? 0 : this.cause.hashCode());
-    }
-    
-    @Override
-    @Pure
-    public boolean equals(final Object obj) {
-      if (this == obj)
-        return true;
-      if (obj == null)
-        return false;
-      if (getClass() != obj.getClass())
-        return false;
-      ReliabilityResult.Unknown other = (ReliabilityResult.Unknown) obj;
-      if (this.message == null) {
-        if (other.message != null)
-          return false;
-      } else if (!this.message.equals(other.message))
-        return false;
-      if (this.cause == null) {
-        if (other.cause != null)
-          return false;
-      } else if (!this.cause.equals(other.cause))
-        return false;
-      return true;
-    }
-    
-    @Override
-    @Pure
-    public String toString() {
-      return new ToStringBuilder(this)
-        .addAllFields()
-        .toString();
-    }
-    
-    @Pure
-    public String getMessage() {
-      return this.message;
-    }
-    
-    @Pure
-    public Throwable getCause() {
-      return this.cause;
-    }
-  }
-  
-  public static final ReliabilityResult.Unknown TIMEOUT = new ReliabilityResult.Unknown("Solver timed out");
-  
-  public static final ReliabilityResult.Unknown MEMOUT = new ReliabilityResult.Unknown("Solver out of memory");
-  
-  public abstract ReliabilityResult.Solution getOrThrow();
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.java
deleted file mode 100644
index e1bb3625..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.java
+++ /dev/null
@@ -1,31 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;
-
-import com.google.common.base.Objects;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.ApproximationHeuristic;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.FtAnalysisObjective;
-import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolverConfiguration;
-
-@SuppressWarnings("all")
-public final class StormDftConfiguration extends SolverConfiguration {
-  public static final String DEFAULT_SOLVER_PATH = "storm-dft";
-  
-  public double precision = 1e-6;
-  
-  public boolean bisimulation = true;
-  
-  public boolean symmetryReduction = true;
-  
-  public boolean modularization = true;
-  
-  public boolean dontCarePropagation = true;
-  
-  public double approximation = 0;
-  
-  public ApproximationHeuristic approximationHeuristic = ApproximationHeuristic.NONE;
-  
-  public FtAnalysisObjective objective;
-  
-  public boolean isApproximationInUse() {
-    return (!Objects.equal(this.approximationHeuristic, ApproximationHeuristic.NONE));
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftException.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftException.java
deleted file mode 100644
index 955c9ed1..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftException.java
+++ /dev/null
@@ -1,12 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;
-
-@SuppressWarnings("all")
-public class StormDftException extends RuntimeException {
-  public StormDftException(final String s) {
-    super(s);
-  }
-  
-  public StormDftException(final String s, final Exception e) {
-    super(s, e);
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftHandler.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftHandler.java
deleted file mode 100644
index 46127425..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftHandler.java
+++ /dev/null
@@ -1,330 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;
-
-import com.google.common.base.Objects;
-import com.google.common.collect.ImmutableList;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.ApproximationHeuristic;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.FtAnalysisObjective;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.ReliabilityResult;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.StormDftConfiguration;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.StormDftException;
-import hu.bme.mit.inf.dslreasoner.logic.model.builder.DocumentationLevel;
-import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolverConfiguration;
-import java.io.BufferedReader;
-import java.io.IOException;
-import java.io.InputStream;
-import java.io.InputStreamReader;
-import java.util.ArrayList;
-import java.util.regex.Matcher;
-import java.util.regex.Pattern;
-import org.eclipse.xtend2.lib.StringConcatenation;
-import org.eclipse.xtext.xbase.lib.CollectionLiterals;
-import org.eclipse.xtext.xbase.lib.Exceptions;
-import org.eclipse.xtext.xbase.lib.Extension;
-import org.eclipse.xtext.xbase.lib.Functions.Function0;
-import org.eclipse.xtext.xbase.lib.InputOutput;
-import org.eclipse.xtext.xbase.lib.IterableExtensions;
-
-@SuppressWarnings("all")
-public class StormDftHandler {
-  private static final String DOUBLE_REGEX = "[-+]?[0-9]*\\.?[0-9]+([eE][-+]?[0-9]+)?";
-  
-  private static final String SINGLE_RESULT_GROUP = "single";
-  
-  private static final String LOWER_BOUND_GROUP = "lower";
-  
-  private static final String UPPER_BOUND_GROUP = "upper";
-  
-  private static final String RESULT_REGEX = new Function0<String>() {
-    public String apply() {
-      StringConcatenation _builder = new StringConcatenation();
-      _builder.append("^Result:\\s*\\[(?:(?<");
-      _builder.append(StormDftHandler.SINGLE_RESULT_GROUP);
-      _builder.append(">");
-      _builder.append(StormDftHandler.DOUBLE_REGEX);
-      _builder.append(")|\\((?<");
-      _builder.append(StormDftHandler.LOWER_BOUND_GROUP);
-      _builder.append(">");
-      _builder.append(StormDftHandler.DOUBLE_REGEX);
-      _builder.append("),\\s*(?<");
-      _builder.append(StormDftHandler.UPPER_BOUND_GROUP);
-      _builder.append(">");
-      _builder.append(StormDftHandler.DOUBLE_REGEX);
-      _builder.append(")\\))\\]");
-      return _builder.toString();
-    }
-  }.apply();
-  
-  private static final Pattern RESULT_PATTERN = Pattern.compile(StormDftHandler.RESULT_REGEX);
-  
-  private static final int SIGNAL_EXIT_VALUE_OFFSET = 0x80;
-  
-  private static final int SIGXCPU = 24;
-  
-  private static final int SIGXFSZ = 25;
-  
-  private static final int STORM_GENERAL_ERROR = ((-1) & 0xff);
-  
-  private static final int STORM_TIMEOUT = ((-2) & 0xff);
-  
-  private static final int STORM_MEMOUT = ((-3) & 0xff);
-  
-  public ReliabilityResult callSolver(final String dftFilePath, final StormDftConfiguration configuration) {
-    try {
-      ReliabilityResult _xblockexpression = null;
-      {
-        final ImmutableList<String> commandLine = this.toCommandLine(configuration, dftFilePath);
-        final DocumentationLevel documentationLevel = configuration.documentationLevel;
-        final boolean printOutput = (Objects.equal(documentationLevel, DocumentationLevel.NORMAL) || 
-          Objects.equal(documentationLevel, DocumentationLevel.FULL));
-        final ProcessBuilder processBuilder = new ProcessBuilder().command(commandLine);
-        Process process = null;
-        ReliabilityResult _xtrycatchfinallyexpression = null;
-        try {
-          ReliabilityResult _xtrycatchfinallyexpression_1 = null;
-          try {
-            ReliabilityResult _xblockexpression_1 = null;
-            {
-              process = processBuilder.start();
-              process.getOutputStream().close();
-              final ReliabilityResult.Solution result = this.readOutput(process.getInputStream(), printOutput);
-              final String error = this.readError(process.getErrorStream(), printOutput);
-              final int exitValue = process.waitFor();
-              ReliabilityResult _xifexpression = null;
-              if ((result == null)) {
-                _xifexpression = this.interpretExitStatus(exitValue, error);
-              } else {
-                _xifexpression = result;
-              }
-              _xblockexpression_1 = _xifexpression;
-            }
-            _xtrycatchfinallyexpression_1 = _xblockexpression_1;
-          } catch (final Throwable _t) {
-            if (_t instanceof IOException) {
-              final IOException e = (IOException)_t;
-              throw new StormDftException("Error during input/output handling of the stochastic solver.", e);
-            } else {
-              throw Exceptions.sneakyThrow(_t);
-            }
-          }
-          _xtrycatchfinallyexpression = _xtrycatchfinallyexpression_1;
-        } catch (final Throwable _t_1) {
-          if (_t_1 instanceof Exception) {
-            final Exception e_1 = (Exception)_t_1;
-            if ((process != null)) {
-              process.destroyForcibly().waitFor();
-            }
-            throw e_1;
-          } else {
-            throw Exceptions.sneakyThrow(_t_1);
-          }
-        }
-        _xblockexpression = _xtrycatchfinallyexpression;
-      }
-      return _xblockexpression;
-    } catch (Throwable _e) {
-      throw Exceptions.sneakyThrow(_e);
-    }
-  }
-  
-  private ImmutableList<String> toCommandLine(@Extension final StormDftConfiguration configuration, final String dftFilePath) {
-    ImmutableList<String> _xblockexpression = null;
-    {
-      @Extension
-      final ImmutableList.Builder<String> optionsBuilder = ImmutableList.<String>builder();
-      String _elvis = null;
-      if (configuration.solverPath != null) {
-        _elvis = configuration.solverPath;
-      } else {
-        _elvis = StormDftConfiguration.DEFAULT_SOLVER_PATH;
-      }
-      optionsBuilder.add(_elvis);
-      if ((configuration.runtimeLimit != SolverConfiguration.Unlimited)) {
-        optionsBuilder.add("--timeout", Integer.valueOf(configuration.runtimeLimit).toString());
-      }
-      optionsBuilder.add("--precision", Double.valueOf(configuration.precision).toString());
-      if (configuration.bisimulation) {
-        optionsBuilder.add("--bisimulation");
-      }
-      if (configuration.symmetryReduction) {
-        optionsBuilder.add("--symmetryreduction");
-      }
-      if (configuration.modularization) {
-        optionsBuilder.add("--modularisation");
-      }
-      if ((!configuration.dontCarePropagation)) {
-        optionsBuilder.add("--disabledc");
-      }
-      boolean _isApproximationInUse = configuration.isApproximationInUse();
-      if (_isApproximationInUse) {
-        String _switchResult = null;
-        final ApproximationHeuristic approximationHeuristic = configuration.approximationHeuristic;
-        if (approximationHeuristic != null) {
-          switch (approximationHeuristic) {
-            case DEPTH:
-              _switchResult = "depth";
-              break;
-            default:
-              throw new IllegalArgumentException(("Unknown approximation heuristic: " + configuration.approximationHeuristic));
-          }
-        } else {
-          throw new IllegalArgumentException(("Unknown approximation heuristic: " + configuration.approximationHeuristic));
-        }
-        final String heuristicName = _switchResult;
-        optionsBuilder.add("--approximation", Double.valueOf(configuration.approximation).toString(), "--approximationheuristic", heuristicName);
-      }
-      optionsBuilder.add("--dftfile", dftFilePath);
-      final FtAnalysisObjective objective = configuration.objective;
-      boolean _matched = false;
-      if (Objects.equal(objective, FtAnalysisObjective.MTTF)) {
-        _matched=true;
-        optionsBuilder.add("--expectedtime");
-      }
-      if (!_matched) {
-        if (objective instanceof FtAnalysisObjective.TimeBound) {
-          _matched=true;
-          optionsBuilder.add("--timebound");
-        }
-      }
-      if (!_matched) {
-        throw new IllegalArgumentException(("Unknown analysis objective: " + configuration.objective));
-      }
-      boolean _equals = Objects.equal(configuration.documentationLevel, DocumentationLevel.FULL);
-      if (_equals) {
-        optionsBuilder.add("--verbose");
-      }
-      _xblockexpression = optionsBuilder.build();
-    }
-    return _xblockexpression;
-  }
-  
-  private ReliabilityResult.Solution readOutput(final InputStream inputStream, final boolean printOutput) {
-    try {
-      Object _xblockexpression = null;
-      {
-        InputStreamReader _inputStreamReader = new InputStreamReader(inputStream);
-        final BufferedReader bufferedReader = new BufferedReader(_inputStreamReader);
-        try {
-          String line = null;
-          while (((line = bufferedReader.readLine()) != null)) {
-            {
-              if (printOutput) {
-                InputOutput.<String>println(line);
-              }
-              final Matcher matcher = StormDftHandler.RESULT_PATTERN.matcher(line);
-              boolean _find = matcher.find();
-              if (_find) {
-                try {
-                  final String single = matcher.group(StormDftHandler.SINGLE_RESULT_GROUP);
-                  if ((single != null)) {
-                    final double singleValue = Double.parseDouble(single);
-                    return new ReliabilityResult.Solution(singleValue);
-                  }
-                  final String lower = matcher.group(StormDftHandler.LOWER_BOUND_GROUP);
-                  final String upper = matcher.group(StormDftHandler.UPPER_BOUND_GROUP);
-                  if (((lower != null) && (upper != null))) {
-                    final double lowerValue = Double.parseDouble(lower);
-                    final double upperValue = Double.parseDouble(upper);
-                    return new ReliabilityResult.Solution(lowerValue, upperValue);
-                  }
-                  throw new StormDftException(("Inconsistent stochastic solver output: " + line));
-                } catch (final Throwable _t) {
-                  if (_t instanceof NumberFormatException) {
-                    final NumberFormatException e = (NumberFormatException)_t;
-                    throw new StormDftException("Malformatted number from stochastic solver.", e);
-                  } else {
-                    throw Exceptions.sneakyThrow(_t);
-                  }
-                }
-              }
-            }
-          }
-        } finally {
-          bufferedReader.close();
-        }
-        _xblockexpression = null;
-      }
-      return ((ReliabilityResult.Solution)_xblockexpression);
-    } catch (Throwable _e) {
-      throw Exceptions.sneakyThrow(_e);
-    }
-  }
-  
-  private String readError(final InputStream inputStream, final boolean printOutput) {
-    try {
-      String _xblockexpression = null;
-      {
-        InputStreamReader _inputStreamReader = new InputStreamReader(inputStream);
-        final BufferedReader bufferedReader = new BufferedReader(_inputStreamReader);
-        String _xtrycatchfinallyexpression = null;
-        try {
-          String _xblockexpression_1 = null;
-          {
-            final ArrayList<String> lines = CollectionLiterals.<String>newArrayList();
-            String line = null;
-            while (((line = bufferedReader.readLine()) != null)) {
-              {
-                if (printOutput) {
-                  System.err.println(line);
-                }
-                lines.add(line);
-              }
-            }
-            _xblockexpression_1 = IterableExtensions.join(lines, "\n");
-          }
-          _xtrycatchfinallyexpression = _xblockexpression_1;
-        } finally {
-          bufferedReader.close();
-        }
-        _xblockexpression = _xtrycatchfinallyexpression;
-      }
-      return _xblockexpression;
-    } catch (Throwable _e) {
-      throw Exceptions.sneakyThrow(_e);
-    }
-  }
-  
-  private ReliabilityResult.Unknown interpretExitStatus(final int exitValue, final String error) {
-    ReliabilityResult.Unknown _switchResult = null;
-    boolean _matched = false;
-    if (Objects.equal(exitValue, StormDftHandler.STORM_GENERAL_ERROR)) {
-      _matched=true;
-      throw new StormDftException(("Storm error: " + error));
-    }
-    if (!_matched) {
-      if (Objects.equal(exitValue, StormDftHandler.STORM_TIMEOUT)) {
-        _matched=true;
-      }
-      if (!_matched) {
-        if (Objects.equal(exitValue, (StormDftHandler.SIGNAL_EXIT_VALUE_OFFSET + StormDftHandler.SIGXCPU))) {
-          _matched=true;
-        }
-      }
-      if (_matched) {
-        _switchResult = ReliabilityResult.TIMEOUT;
-      }
-    }
-    if (!_matched) {
-      if (Objects.equal(exitValue, StormDftHandler.STORM_MEMOUT)) {
-        _matched=true;
-      }
-      if (!_matched) {
-        if (Objects.equal(exitValue, (StormDftHandler.SIGNAL_EXIT_VALUE_OFFSET + StormDftHandler.SIGXFSZ))) {
-          _matched=true;
-        }
-      }
-      if (_matched) {
-        _switchResult = ReliabilityResult.MEMOUT;
-      }
-    }
-    if (!_matched) {
-      {
-        if ((exitValue > StormDftHandler.SIGNAL_EXIT_VALUE_OFFSET)) {
-          final int signalNumber = (exitValue - StormDftHandler.SIGNAL_EXIT_VALUE_OFFSET);
-          throw new StormDftException(((("Storm unexpectedly killed by signal " + Integer.valueOf(signalNumber)) + ": ") + error));
-        }
-        throw new StormDftException(((("Storm unexpectedly exit with status " + Integer.valueOf(exitValue)) + ": ") + error));
-      }
-    }
-    return _switchResult;
-  }
-}
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftSolver.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftSolver.java
deleted file mode 100644
index 491e7fc1..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftSolver.java
+++ /dev/null
@@ -1,79 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;
-
-import com.google.common.base.Objects;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ConstantModel;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.FaultTree;
-import hu.bme.mit.inf.dslreasoner.faulttree.model.ft.ReliabilityModel;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.ft2galileo.Ft2GalileoTransformation;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.FtAnalysisObjective;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.ReliabilityResult;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.StormDftConfiguration;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.StormDftHandler;
-import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace;
-
-@SuppressWarnings("all")
-public class StormDftSolver {
-  private static final String DFT_FILE_NAME = "ft.dft";
-  
-  private final Ft2GalileoTransformation ft2Galileo = new Ft2GalileoTransformation();
-  
-  private final StormDftHandler handler = new StormDftHandler();
-  
-  public ReliabilityResult solve(final ReliabilityModel reliabilityModel, final StormDftConfiguration configuration, final ReasonerWorkspace reasonerWorkspace) {
-    ReliabilityResult _switchResult = null;
-    boolean _matched = false;
-    if (reliabilityModel instanceof FaultTree) {
-      _matched=true;
-      _switchResult = this.solve(((FaultTree)reliabilityModel), configuration, reasonerWorkspace);
-    }
-    if (!_matched) {
-      if (reliabilityModel instanceof ConstantModel) {
-        _matched=true;
-        ReliabilityResult.Solution _xblockexpression = null;
-        {
-          double _xifexpression = (double) 0;
-          boolean _isFailed = ((ConstantModel)reliabilityModel).isFailed();
-          if (_isFailed) {
-            _xifexpression = 0;
-          } else {
-            double _switchResult_1 = (double) 0;
-            final FtAnalysisObjective objective = configuration.objective;
-            boolean _matched_1 = false;
-            if (Objects.equal(objective, FtAnalysisObjective.MTTF)) {
-              _matched_1=true;
-              _switchResult_1 = Double.POSITIVE_INFINITY;
-            }
-            if (!_matched_1) {
-              if (objective instanceof FtAnalysisObjective.TimeBound) {
-                _matched_1=true;
-                _switchResult_1 = 1;
-              }
-            }
-            if (!_matched_1) {
-              throw new IllegalArgumentException(("Unknown objective: " + objective));
-            }
-            _xifexpression = _switchResult_1;
-          }
-          final double result = _xifexpression;
-          _xblockexpression = new ReliabilityResult.Solution(result);
-        }
-        _switchResult = _xblockexpression;
-      }
-    }
-    if (!_matched) {
-      throw new IllegalArgumentException(("Unknown reliability model: " + reliabilityModel));
-    }
-    return _switchResult;
-  }
-  
-  public ReliabilityResult solve(final FaultTree faultTree, final StormDftConfiguration configuration, final ReasonerWorkspace reasonerWorkspace) {
-    ReliabilityResult _xblockexpression = null;
-    {
-      final CharSequence galileo = this.ft2Galileo.toGalileo(faultTree);
-      reasonerWorkspace.writeText(StormDftSolver.DFT_FILE_NAME, galileo);
-      final String dftFilePath = reasonerWorkspace.getFile(StormDftSolver.DFT_FILE_NAME).getAbsolutePath();
-      _xblockexpression = this.handler.callSolver(dftFilePath, configuration);
-    }
-    return _xblockexpression;
-  }
-}