public function testIsLiteral()
{
$serializer = new TaskSettingSerializer(DD);
$this->assertEquals(true, $serializer->isLiteral('Literal'));
$this->assertEquals(false, $serializer->isLiteral('Negation'));
$this->assertEquals(false, $serializer->isLiteral('Conjunction'));
$this->assertEquals(false, $serializer->isLiteral('Disjunction'));
}
