@Test
public void testCtor_empty()
{

    PropagatorStack propagatorStack = new PropagatorStack(Builtin.TEXT_MAP);
    assertTrue(propagatorStack.propagators.isEmpty());
    assertEquals(propagatorStack.format(), Builtin.TEXT_MAP);
}