import de.prob.prolog.output.PrologTermStringOutput;
import de.prob.prolog.term.PrologTerm;
class CommandProcessor {
private ProBInstance cli;
public IPrologResult sendCommand(final AbstractCommand command) {
<BUG>String query = "";
if (command instanceof IRawCommand) {</BUG>
query = ((IRawCommand) command).getCommand();
if (!query.endsWith(".")) {
query += ".";

import de.prob.prolog.output.PrologTermStringOutput;
import de.prob.prolog.term.PrologTerm;
class CommandProcessor {
private ProBInstance cli;
public IPrologResult sendCommand(final AbstractCommand command) {
String query;
if (command instanceof IRawCommand) {
query = ((IRawCommand) command).getCommand();
if (!query.endsWith(".")) {
query += ".";
