Function to evaluate the consistency of a tree with an alignment, and one test for this function.
Functionality for em and evaluating the resulting grammar
New chapter + small adaptations rest