Class RobustLtlInputReader