added Interpreter::isLegalConfiguration