CHECKPOINT: The Interpreter is partialy working with Disjuncts.