public void getChildProposition_does_it_return_List_IProposition()
{
//Arrange
var finalVarLeft = new FinalVar("a");
var finalVarRight = new FinalVar("b");
var andVar = new AndClass(finalVarLeft, finalVarRight);
//Act
var returnedProposition = andVar.getChildProposition();
//Assert
Assert.IsInstanceOfType(returnedProposition, typeof(List <IProposition>));
}